more signals
authorpaulson
Wed Oct 05 10:56:06 2005 +0200 (2005-10-05 ago)
changeset 177636f933b702f44
parent 17762 478869f444ca
child 17764 fde495b9e24b
more signals
src/Pure/ML-Systems/polyml-posix.ML
src/Pure/ML-Systems/smlnj.ML
     1.1 --- a/src/Pure/ML-Systems/polyml-posix.ML	Tue Oct 04 23:39:42 2005 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml-posix.ML	Wed Oct 05 10:56:06 2005 +0200
     1.3 @@ -25,4 +25,9 @@
     1.4    open Signal
     1.5    val usr1 = Posix.Signal.usr1
     1.6    val usr2 = Posix.Signal.usr2
     1.7 +  val alrm = Posix.Signal.alrm
     1.8 +  val chld = Posix.Signal.chld
     1.9 +  val cont = Posix.Signal.cont
    1.10 +  val int  = Posix.Signal.int
    1.11 +  val quit = Posix.Signal.quit
    1.12  end;
     2.1 --- a/src/Pure/ML-Systems/smlnj.ML	Tue Oct 04 23:39:42 2005 +0200
     2.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Wed Oct 05 10:56:06 2005 +0200
     2.3 @@ -174,6 +174,12 @@
     2.4  
     2.5  val usr1 = UnixSignals.sigUSR1
     2.6  val usr2 = UnixSignals.sigUSR2
     2.7 +val alrm = UnixSignals.sigALRM
     2.8 +val chld = UnixSignals.sigCHLD
     2.9 +val cont = UnixSignals.sigCONT
    2.10 +val int = UnixSignals.sigINT
    2.11 +val quit = UnixSignals.sigQUIT
    2.12 +val term = UnixSignals.sigTERM
    2.13  
    2.14  end;
    2.15