From f65a5c755067a1ab628c245bef08da58cb37785e 2015-02-11 18:45:26
From: Min RK <benjaminrk@gmail.com>
Date: 2015-02-11 18:45:26
Subject: [PATCH] add no-op every 5s on Windows

signals don't interrupt the inner loop on Windows,
so pump the eventloop every 5s
---

diff --git a/IPython/html/notebookapp.py b/IPython/html/notebookapp.py
index 5e55e1d..9df60d1 100644
--- a/IPython/html/notebookapp.py
+++ b/IPython/html/notebookapp.py
@@ -1061,6 +1061,11 @@ class NotebookApp(BaseIPythonApplication):
                 threading.Thread(target=b).start()
         
         self.io_loop = ioloop.IOLoop.current()
+        if sys.platform.startswith('win'):
+            # add no-op to wake every 5s
+            # to handle signals that may be ignored by the inner loop
+            pc = ioloop.PeriodicCallback(lambda : None, 5000)
+            pc.start()
         try:
             self.io_loop.start()
         except KeyboardInterrupt: