##// END OF EJS Templates
Merge pull request #4800 from pankajp/handle-aborted-prompt-reply...
Min RK -
r14210:d0865cfa merge
parent child Browse files
Show More
@@ -175,7 +175,11 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 number = msg['content']['execution_count'] + 1
178 content = msg['content']
179 if content['status'] == 'aborted':
180 self._show_interpreter_prompt()
181 else:
182 number = content['execution_count'] + 1
179 self._show_interpreter_prompt(number)
183 self._show_interpreter_prompt(number)
180 self._request_info['execute'].pop(msg_id)
184 self._request_info['execute'].pop(msg_id)
181 else:
185 else:
General Comments 0
You need to be logged in to leave comments. Login now