It would be better if we just reboot.
--- trunk/launchd/src/launchd.c 2007-02-20 18:15:13 UTC (rev 23093)
+++ trunk/launchd/src/launchd.c 2007-02-21 18:19:10 UTC (rev 23094)
@@ -217,11 +217,7 @@
runtime_syslog(LOG_EMERG, "We crashed %s: %p (sent by PID %u)", doom_why, crash_addr, crash_pid);
sync();
sleep(3);
- /* the kernel will panic() when PID 1 exits */
- _exit(EXIT_FAILURE);
- /* we should never get here */
reboot(0);
- /* or here either */
break;
}
}