diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-10 08:21:42 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-10 08:21:42 +0000 |
| commit | d35b0bde7c1ac2c77cd16efbfc048ce692d63bdc (patch) | |
| tree | 3db0546b3d904fa4a455c6a1395e77d06d2585ce /otherlibs | |
| parent | 89055b054eeec0c6c6b6118d6490b6792da7fef2 (diff) | |
Posixification des signaux.
Changement de representation de Sys.signal_behavior
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@197 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/graph/open.c | 2 | ||||
| -rw-r--r-- | otherlibs/unix/kill.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/otherlibs/graph/open.c b/otherlibs/graph/open.c index 3906ae29e..a2b605a8a 100644 --- a/otherlibs/graph/open.c +++ b/otherlibs/graph/open.c @@ -130,6 +130,7 @@ value gr_open_graph(arg) /* If possible, request that system calls be restarted after the EVENT_SIGNAL signal. */ +#ifdef POSIX_SIGNALS #ifdef SA_RESTART { struct sigaction action; sigaction(EVENT_SIGNAL, NULL, &action); @@ -137,6 +138,7 @@ value gr_open_graph(arg) sigaction(EVENT_SIGNAL, &action, NULL); } #endif +#endif #ifdef USE_ASYNC_IO /* If BSD-style asynchronous I/O are supported: diff --git a/otherlibs/unix/kill.c b/otherlibs/unix/kill.c index d9ff474bc..de84a044f 100644 --- a/otherlibs/unix/kill.c +++ b/otherlibs/unix/kill.c @@ -25,7 +25,7 @@ value unix_kill(pid, signal) /* ML */ sig = Int_val(signal); if (sig < 0) { sig = posix_signals[-sig-1]; - if (sig == 0) invalid_argument("Unix.kill: unavailable signal"); + if (sig < 0) invalid_argument("Sys.signal: unavailable signal"); } if (kill(Int_val(pid), sig) == -1) uerror("kill", Nothing); |