##// END OF EJS Templates
set busy/idle around every message...
MinRK -
Show More
@@ -137,6 +137,10 b' class Kernel(Configurable):'
137 137
138 138 self.log.debug("Control received: %s", msg)
139 139
140 # Set the parent message for side effects.
141 self.set_parent(idents, msg)
142 self._publish_status(u'busy')
143
140 144 header = msg['header']
141 145 msg_type = header['msg_type']
142 146
@@ -149,6 +153,10 b' class Kernel(Configurable):'
149 153 except Exception:
150 154 self.log.error("Exception in control handler:", exc_info=True)
151 155
156 sys.stdout.flush()
157 sys.stderr.flush()
158 self._publish_status(u'idle')
159
152 160 def dispatch_shell(self, stream, msg):
153 161 """dispatch shell requests"""
154 162 # flush control requests first
@@ -894,7 +894,7 b' Message type: ``status``::'
894 894
895 895 .. versionchanged:: 5.0
896 896
897 Busy and idle messages should be sent before/after handling every shell message,
897 Busy and idle messages should be sent before/after handling every message,
898 898 not just execution.
899 899
900 900 Clear output
General Comments 0
You need to be logged in to leave comments. Login now