|
@@ -140,7 +140,7 @@ void sys__exit(int exitcode)
|
|
|
/* if this is the last user process in the system, proc_destroy()
|
|
|
will wake up the kernel menu thread */
|
|
|
//proc_destroy(p);
|
|
|
- thread_exit();
|
|
|
+ if (!(curproc)) thread_exit();
|
|
|
/* thread_exit() does not return, so we should never get here */
|
|
|
panic("return from thread_exit in sys_exit\n");
|
|
|
}
|