blob: de84a044f30d24c7a2e8ca760b2bdcb5a33b84e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
/***********************************************************************/
/* */
/* Caml Special Light */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1995 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */
/* */
/***********************************************************************/
/* $Id$ */
#include <mlvalues.h>
#include <fail.h>
#include "unix.h"
#include <signal.h>
extern int posix_signals[]; /* defined in byterun/signals.c */
value unix_kill(pid, signal) /* ML */
value pid, signal;
{
int sig;
sig = Int_val(signal);
if (sig < 0) {
sig = posix_signals[-sig-1];
if (sig < 0) invalid_argument("Sys.signal: unavailable signal");
}
if (kill(Int_val(pid), sig) == -1)
uerror("kill", Nothing);
return Val_unit;
}
|
