diff options
Diffstat (limited to 'exec')
-rw-r--r-- | exec/exec.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/exec/exec.c b/exec/exec.c index 24d71220..639564cb 100644 --- a/exec/exec.c +++ b/exec/exec.c @@ -1197,6 +1197,10 @@ do_exec (file_t file, /* We are now committed to the exec. It "should not fail". If it does fail now, the task will be hopelessly munged. */ + /* TODO: implement the interrupt RPC and properly avoid interrupts + from here on, so we can avoid disabling signals in exec*() and + spawn*(). */ + if (newtask == oldtask) { thread_t *threads; |