ch0ic3/cutter
1
0
Fork 0
mirror of https://github.com/rizinorg/cutter.git synced 2024-12-20 03:46:11 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix Error when shutting down Jupyter

Browse Source
This commit is contained in:
Florian Märkl 2018-04-21 12:13:36 +02:00
parent 2da95c6853
commit 5f9018f5b9
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/python/cutter_jupyter.py
View File

@ -11,7 +11,6 @@ class IPyKernelInterfaceJupyter:
self._id = id
def send_signal(self, signum):
print("sending signal " + str(signum) + " to kernel")
cutter_internal.kernel_interface_send_signal(self._id, signum)
def kill(self):
@ -101,7 +100,8 @@ class CutterNotebookApp(NotebookApp):
def stop(self):
super().stop()
self.thread.join()
if self.thread is not None:
self.thread.join()
def init_signal(self):
# This would call signal.signal(signal.SIGINT, signal.SIG_IGN)
@ -120,6 +120,7 @@ def start_jupyter():
asyncio.set_event_loop(asyncio.new_event_loop())
app = CutterNotebookApp()
# app.log_level = logging.DEBUG
app.thread = threading.current_thread()
app.initialize()
q.put(app)
app.start()