From bc037fc29f49351520ac932b5f5089efba2b9e9c Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Sun, 17 Apr 2005 08:23:51 +0000 Subject: Normalisation des numeros de signaux renvoyes par Unix.wait* (PR#3584) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6845 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- otherlibs/unix/wait.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'otherlibs/unix/wait.c') diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c index 5d74b8380..486d06af7 100644 --- a/otherlibs/unix/wait.c +++ b/otherlibs/unix/wait.c @@ -47,11 +47,11 @@ static value alloc_process_status(int pid, int status) } else if (WIFSTOPPED(status)) { st = alloc_small(1, TAG_WSTOPPED); - Field(st, 0) = Val_int(WSTOPSIG(status)); + Field(st, 0) = Val_int(caml_rev_convert_signal_number(WSTOPSIG(status))); } else { st = alloc_small(1, TAG_WSIGNALED); - Field(st, 0) = Val_int(WTERMSIG(status)); + Field(st, 0) = Val_int(caml_rev_convert_signal_number(WTERMSIG(status))); } Begin_root (st); res = alloc_small(2, 0); -- cgit v1.2.3-70-g09d2