src/Pure/PIDE/protocol.ML
changeset 49470 ee564db2649b
parent 49061 7449b804073b
child 49647 21ae8500d261
     1.1 --- a/src/Pure/PIDE/protocol.ML	Thu Sep 20 16:02:10 2012 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Thu Sep 20 19:23:05 2012 +0200
     1.3 @@ -76,7 +76,9 @@
     1.4  
     1.5  val _ =
     1.6    Isabelle_Process.protocol_command "Document.invoke_scala"
     1.7 -    (fn [id, tag, res] => Invoke_Scala.fulfill_method id tag res);
     1.8 +    (fn [id, tag, res] =>
     1.9 +      Invoke_Scala.fulfill_method id tag res
    1.10 +        handle exn => if Exn.is_interrupt exn then () else reraise exn);
    1.11  
    1.12  end;
    1.13