kernel: Publish when interrupt request completes

* Publish the kernel is idle after an interrupt request completes. Fixes #53
n-riesco · Nov 9, 2015 · 62cd6d5 · 62cd6d5
1 parent 6045350
commit 62cd6d5
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/lib/kernel.js b/lib/kernel.js
@@ -405,5 +405,11 @@ process.on("SIGINT", function() {
     if (DEBUG) console.log("KERNEL: Interrupting kernel");
 
     // TODO(NR) Implement kernel interruption
-    kernel.restart();
+    kernel.restart(function() {
+        if (kernel.lastExecuteRequest) {
+            kernel.lastExecuteRequest.respond(kernel.iopubSocket, 'status', {
+                execution_state: 'idle'
+            });
+        }
+    });
 });