summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1995-02-09 22:18:55 +0000
committerMichael I. Bushnell <mib@gnu.org>1995-02-09 22:18:55 +0000
commit0b59f5f41d75050113097fad0b316f1098f6c323 (patch)
tree374614f0881c67fafdd09a6e9930f21f83fb4901
parent00896b8ce45fb527d5e922a618613846a143b5d3 (diff)
(S_msg_sig_post_untraced): Omit obnoxious "random child died"
messages.
-rw-r--r--init/init.c2
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;
}