From 28078b517a3151f18cf427be87600803251d732b Mon Sep 17 00:00:00 2001 From: Paul Smith Date: Fri, 4 Mar 2005 12:52:32 +0000 Subject: - Missing docs for $| - Update NEWS and AUTHORS files. - Fix support request #103195. - Apply patch #3679 - Fix handling of sys_siglist in autoconf/etc. --- commands.c | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'commands.c') diff --git a/commands.c b/commands.c index 97ec981..813610c 100644 --- a/commands.c +++ b/commands.c @@ -481,10 +481,15 @@ fatal_error_signal (int sig) exit (EXIT_FAILURE); #endif +#ifdef WINDOWS32 + /* Cannot call W32_kill with a pid (it needs a handle) */ + exit (EXIT_FAILURE); +#else /* Signal the same code; this time it will really be fatal. The signal will be unblocked when we return and arrive then to kill us. */ if (kill (getpid (), sig) < 0) pfatal_with_name ("kill"); +#endif /* not WINDOWS32 */ #endif /* not Amiga */ #endif /* not __MSDOS__ */ } -- cgit v1.2.3