summaryrefslogtreecommitdiff
path: root/init/init.c
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1994-08-31 05:03:45 +0000
committerRoland McGrath <roland@gnu.org>1994-08-31 05:03:45 +0000
commitc15f44ab319f7ddde75e4df48d25224cc9e28eec (patch)
treed4aa3edf2f597e440f0c7901a96d8d89ba3e0ab5 /init/init.c
parent35e1bde46e30981224d9f8fb22138750fc8235da (diff)
Formerly init.c.~46~
Diffstat (limited to 'init/init.c')
-rw-r--r--init/init.c7
1 files changed, 4 insertions, 3 deletions
diff --git a/init/init.c b/init/init.c
index 13e2a946..7e2e2218 100644
--- a/init/init.c
+++ b/init/init.c
@@ -626,7 +626,7 @@ launch_single_user ()
printf (" dev");
fflush (stdout);
- if (termtask)
+ if (termtask != MACH_PORT_NULL)
{
/* Open the console. We are racing here against the
terminal driver that we just started, so keep trying until
@@ -672,9 +672,10 @@ launch_single_user ()
|| errno == KERN_INVALID_ARGUMENT)
break;
}
+ mach_port_deallocate (mach_task_self (), termtask);
}
- if (termtask != MACH_PORT_NULL)
- mach_port_deallocate (mach_task_self (), termtask);
+ else
+ term = MACH_PORT_NULL;
/* Run pipes. */
foo = run_for_real (pipes, pipes, sizeof (pipes), MACH_PORT_NULL);