diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-05-12 19:19:58 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-12 19:19:58 +0000 |
| commit | e87ee5aee9d814f864d90c01a178f1b1f9a6ec22 (patch) | |
| tree | 11974eb3173ba48d18f696d34c8b7015345ff4c4 | |
| parent | 2de1de6abe45bc409fa8293e75650bab5923bc1e (diff) | |
Formerly init.c.~22~
| -rw-r--r-- | init/init.c | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/init/init.c b/init/init.c index 6e59a9f9..cda6fde9 100644 --- a/init/init.c +++ b/init/init.c @@ -178,10 +178,10 @@ reboot_system (int flags) { task_t task; err = proc_pid2task (procserver, pp[ind], &task); - if (err == MACH_SEND_INVALID_DEST) - goto procbad; +/* if (err == MACH_SEND_INVALID_DEST) + goto procbad; - else if (err) + else */ if (err) { printf ("init: getting task for pid %d: %s\n", pp[ind], strerror (err)); @@ -196,8 +196,8 @@ reboot_system (int flags) struct procinfo *pi = 0; u_int pisize = 0; err = proc_getprocinfo (procserver, pp[ind], (int **)&pi, &pisize); - if (err == MACH_SEND_INVALID_DEST) - goto procbad; +/* if (err == MACH_SEND_INVALID_DEST) + goto procbad; */ if (err) { printf ("init: getting procinfo for pid %d: %s\n", @@ -549,9 +549,12 @@ S_startup_essential_task (mach_port_t server, MACH_MSG_TYPE_MAKE_SEND_ONCE, &prev); if (prev) mach_port_deallocate (mach_task_self (), prev); + +#if 0 /* Taking over the exception port will give us a better chance if the task tries to get wedged on a fault. */ task_set_special_port (task, TASK_EXCEPTION_PORT, startup); +#endif mach_port_deallocate (mach_task_self (), credential); return 0; |