diff options
author | Niklas Halle <niklas@niklashalle.net> | 2020-05-25 21:31:39 +0200 |
---|---|---|
committer | Niklas Halle <niklas@niklashalle.net> | 2020-05-25 21:31:39 +0200 |
commit | 9eb2eddf718bacb968733be6c07dae40bec28256 (patch) | |
tree | 11ba27aaf9ea090a52421fbcd7e4c5875a633d8f /02_exercise | |
parent | 9e81a3f42fabf2beb70247d0153954e158f6d8c7 (diff) | |
download | betriebssysteme-9eb2eddf718bacb968733be6c07dae40bec28256.tar.gz betriebssysteme-9eb2eddf718bacb968733be6c07dae40bec28256.zip |
last stuffabgabe2
Diffstat (limited to '02_exercise')
-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); |