##// END OF EJS Templates
add no-op every 5s on Windows...
Min RK -
Show More
@@ -1061,6 +1061,11 b' class NotebookApp(BaseIPythonApplication):'
1061 threading.Thread(target=b).start()
1061 threading.Thread(target=b).start()
1062
1062
1063 self.io_loop = ioloop.IOLoop.current()
1063 self.io_loop = ioloop.IOLoop.current()
1064 if sys.platform.startswith('win'):
1065 # add no-op to wake every 5s
1066 # to handle signals that may be ignored by the inner loop
1067 pc = ioloop.PeriodicCallback(lambda : None, 5000)
1068 pc.start()
1064 try:
1069 try:
1065 self.io_loop.start()
1070 self.io_loop.start()
1066 except KeyboardInterrupt:
1071 except KeyboardInterrupt:
General Comments 0
You need to be logged in to leave comments. Login now