481 |
exit (EXIT_FAILURE); |
exit (EXIT_FAILURE); |
482 |
#endif |
#endif |
483 |
|
|
484 |
|
#ifdef WINDOWS32 |
485 |
|
/* Cannot call W32_kill with a pid (it needs a handle) */ |
486 |
|
exit (EXIT_FAILURE); |
487 |
|
#else |
488 |
/* Signal the same code; this time it will really be fatal. The signal |
/* Signal the same code; this time it will really be fatal. The signal |
489 |
will be unblocked when we return and arrive then to kill us. */ |
will be unblocked when we return and arrive then to kill us. */ |
490 |
if (kill (getpid (), sig) < 0) |
if (kill (getpid (), sig) < 0) |
491 |
pfatal_with_name ("kill"); |
pfatal_with_name ("kill"); |
492 |
|
#endif /* not WINDOWS32 */ |
493 |
#endif /* not Amiga */ |
#endif /* not Amiga */ |
494 |
#endif /* not __MSDOS__ */ |
#endif /* not __MSDOS__ */ |
495 |
} |
} |