diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-12-05 00:35:53 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-12-05 00:35:53 +0000 |
| commit | 99407d5e9431ada40c80bbbf64b67a00583699a3 (patch) | |
| tree | d21c242d81ee72e8db16a87a2ffda9dfe46ca4a3 | |
| parent | 95a85db1d3f3366c0c6d589b6cb9bcf64eef0d72 (diff) | |
*** empty log message ***
| -rw-r--r-- | boot/boot.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/boot/boot.c b/boot/boot.c index 31023706..f9d7c13f 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -1023,6 +1023,7 @@ read_reply () if (!qrhead) { spin_unlock (&queuelock); + spin_unlock (&readlock); return; } @@ -1594,6 +1595,7 @@ do_mach_notify_no_senders (mach_port_t notify, if (mscount == console_mscount) { restore_termstate (); +write (2, "bye\n", 4); uxexit (0); } else |