diff options
| -rw-r--r-- | 02_exercise/builtins.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/02_exercise/builtins.c b/02_exercise/builtins.c index 9f23927..f5497a3 100644 --- a/02_exercise/builtins.c +++ b/02_exercise/builtins.c @@ -75,6 +75,8 @@ void builtin_wait(process p, bool bind) { if (EINTR == errno) { // cancelled by ctrl-c if (bind) { + current_pc->done = true; + ++done_count; kill(current_pc->pid, SIGKILL); waitpid(current_pc->pid, &status, options); printf("Killed [%ld]\n", (long) current_pc->pid); |