src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Thu Sep 20 16:02:10 2012 +0200
+++ b/src/Pure/PIDE/protocol.ML	Thu Sep 20 19:23:05 2012 +0200
@@ -76,7 +76,9 @@
 
 val _ =
   Isabelle_Process.protocol_command "Document.invoke_scala"
-    (fn [id, tag, res] => Invoke_Scala.fulfill_method id tag res);
+    (fn [id, tag, res] =>
+      Invoke_Scala.fulfill_method id tag res
+        handle exn => if Exn.is_interrupt exn then () else reraise exn);
 
 end;