From ad5ccbfff7ebb65a6b06ee5ee4c52b1ee44adb42 2013-04-24 04:47:47 From: MinRK <benjaminrk@gmail.com> Date: 2013-04-24 04:47:47 Subject: [PATCH] KM.client creates a client with a shared Session --- diff --git a/IPython/kernel/manager.py b/IPython/kernel/manager.py index d5417a1..7e9e448 100644 --- a/IPython/kernel/manager.py +++ b/IPython/kernel/manager.py @@ -91,6 +91,8 @@ class KernelManager(LoggingConfigurable, ConnectionFileMixin): _launch_args = Any() _control_socket = Any() + _restarter = Any() + autorestart = Bool(False, config=True, help="""Should we autorestart the kernel if it dies.""" ) @@ -120,7 +122,11 @@ class KernelManager(LoggingConfigurable, ConnectionFileMixin): kw = {} kw.update(self.get_connection_info()) - kw['connection_file'] = self.connection_file + kw.update(dict( + connection_file=self.connection_file, + session=self.session, + config=self.config, + )) # add kwargs last, for manual overrides kw.update(kwargs)