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/unix/kill.c | |
| 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/unix/kill.c')
| -rw-r--r-- | otherlibs/unix/kill.c | 2 |
1 files changed, 1 insertions, 1 deletions
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); |