def configure_kernels_mixer()

in kernels-mixer/kernels_mixer/config.py [0:0]


def configure_kernels_mixer(c):
  """Helper method for configuring the given Config object to use the GCP kernel gateway."""
  configure_gateway_client(c)
  c.ServerApp.kernel_spec_manager_class = MixingKernelSpecManager
  c.ServerApp.kernel_manager_class = MixingMappingKernelManager
  c.ServerApp.session_manager_class = SessionManager
  c.ServerApp.kernel_websocket_connection_class = DelegatingWebsocketConnection