diff options
| -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; } |