##// END OF EJS Templates
set busy/idle around every message...
MinRK -
Show More
@@ -136,7 +136,11 b' class Kernel(Configurable):'
136 136 return
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
@@ -148,6 +152,10 b' class Kernel(Configurable):'
148 152 handler(self.control_stream, idents, msg)
149 153 except Exception:
150 154 self.log.error("Exception in control handler:", exc_info=True)
155
156 sys.stdout.flush()
157 sys.stderr.flush()
158 self._publish_status(u'idle')
151 159
152 160 def dispatch_shell(self, stream, msg):
153 161 """dispatch shell requests"""
@@ -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