diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-02-09 22:18:55 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-02-09 22:18:55 +0000 |
| commit | 0b59f5f41d75050113097fad0b316f1098f6c323 (patch) | |
| tree | 374614f0881c67fafdd09a6e9930f21f83fb4901 /init/init.c | |
| parent | 00896b8ce45fb527d5e922a618613846a143b5d3 (diff) | |
(S_msg_sig_post_untraced): Omit obnoxious "random child died"
messages.
Diffstat (limited to 'init/init.c')
| -rw-r--r-- | init/init.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/init/init.c b/init/init.c index 08fa9f84..b5ce5a30 100644 --- a/init/init.c +++ b/init/init.c @@ -980,9 +980,11 @@ S_msg_sig_post_untraced (mach_port_t msgport, pid, status); launch_single_user (); } +#if 0 else fprintf (stderr, "init: Random child PID %d died (%d).\n", pid, status); +#endif break; } |