Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
restore interrupt handler on init;
authorwenzelm
Sun, 11 Nov 2007 16:24:22 +0100
changeset 25396 e7ddcf8bcf9a
parent 25395 e83bef45e6a7
child 25397 82deaaba928d
restore interrupt handler on init;
lib/scripts/run-polyml-5.1 file | annotate | diff | comparison | revisions 
--- a/lib/scripts/run-polyml-5.1	Sun Nov 11 14:17:15 2007 +0100
+++ b/lib/scripts/run-polyml-5.1	Sun Nov 11 16:24:22 2007 +0100
@@ -48,7 +48,7 @@
   EXIT="fun exit 0 = (OS.Process.exit OS.Process.success): unit | exit _ = OS.Process.exit OS.Process.failure;"
 else
   check_file "$INFILE"
-  INIT="PolyML.SaveState.loadState \"$INFILE\";"
+  INIT="(Signal.signal (2, Signal.SIG_HANDLE (fn _ => Process.interruptConsoleProcesses ())); PolyML.SaveState.loadState \"$INFILE\");"
   EXIT=""
 fi
isabelle