restore interrupt handler on init;
authorwenzelm
Sun Nov 11 16:24:22 2007 +0100 (2007-11-11)
changeset 25396e7ddcf8bcf9a
parent 25395 e83bef45e6a7
child 25397 82deaaba928d
restore interrupt handler on init;
lib/scripts/run-polyml-5.1
     1.1 --- a/lib/scripts/run-polyml-5.1	Sun Nov 11 14:17:15 2007 +0100
     1.2 +++ b/lib/scripts/run-polyml-5.1	Sun Nov 11 16:24:22 2007 +0100
     1.3 @@ -48,7 +48,7 @@
     1.4    EXIT="fun exit 0 = (OS.Process.exit OS.Process.success): unit | exit _ = OS.Process.exit OS.Process.failure;"
     1.5  else
     1.6    check_file "$INFILE"
     1.7 -  INIT="PolyML.SaveState.loadState \"$INFILE\";"
     1.8 +  INIT="(Signal.signal (2, Signal.SIG_HANDLE (fn _ => Process.interruptConsoleProcesses ())); PolyML.SaveState.loadState \"$INFILE\");"
     1.9    EXIT=""
    1.10  fi
    1.11