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.
avoid outdated Process.interruptConsoleProcesses;
authorwenzelm
Mon, 22 Feb 2016 22:44:37 +0100
changeset 62386 10e55e168672
parent 62379 340738057c8c
child 62387 ad3eb2889f9a
avoid outdated Process.interruptConsoleProcesses;
lib/scripts/run-polyml-5.6 file | annotate | diff | comparison | revisions 
--- a/lib/scripts/run-polyml-5.6	Mon Feb 22 14:37:56 2016 +0000
+++ b/lib/scripts/run-polyml-5.6	Mon Feb 22 22:44:37 2016 +0100
@@ -63,7 +63,7 @@
   esac
 else
   check_file "$INFILE"
-  INIT="(Signal.signal (2, Signal.SIG_HANDLE (fn _ => Process.interruptConsoleProcesses ())); PolyML.SaveState.loadState \"$PLATFORM_INFILE\" handle exn => (TextIO.output (TextIO.stdErr, General.exnMessage exn ^ \": $INFILE\\n\"); OS.Process.exit OS.Process.success));"
+  INIT="(Signal.signal (2, Signal.SIG_HANDLE (fn _ => Thread.Thread.broadcastInterrupt ())); PolyML.SaveState.loadState \"$PLATFORM_INFILE\" handle exn => (TextIO.output (TextIO.stdErr, General.exnMessage exn ^ \": $INFILE\\n\"); OS.Process.exit OS.Process.success));"
   EXIT=""
 fi
isabelle