Show More
@@ -175,11 +175,15 b' class IPythonWidget(FrontendWidget):' | |||||
175 | msg_id = msg['parent_header'].get('msg_id') |
|
175 | msg_id = msg['parent_header'].get('msg_id') | |
176 | info = self._request_info['execute'].get(msg_id) |
|
176 | info = self._request_info['execute'].get(msg_id) | |
177 | if info and info.kind == 'prompt': |
|
177 | if info and info.kind == 'prompt': | |
178 |
|
|
178 | content = msg['content'] | |
179 | self._show_interpreter_prompt(number) |
|
179 | if content['status'] == 'aborted': | |
180 | self._request_info['execute'].pop(msg_id) |
|
180 | self._show_interpreter_prompt() | |
|
181 | else: | |||
|
182 | number = content['execution_count'] + 1 | |||
|
183 | self._show_interpreter_prompt(number) | |||
|
184 | self._request_info['execute'].pop(msg_id) | |||
181 | else: |
|
185 | else: | |
182 | super(IPythonWidget, self)._handle_execute_reply(msg) |
|
186 | super(IPythonWidget, self)._handle_execute_reply(msg) | |
183 |
|
187 | |||
184 | def _handle_history_reply(self, msg): |
|
188 | def _handle_history_reply(self, msg): | |
185 | """ Implemented to handle history tail replies, which are only supported |
|
189 | """ Implemented to handle history tail replies, which are only supported |
General Comments 0
You need to be logged in to leave comments.
Login now