diff options
-rw-r--r-- | debugger.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -221,7 +221,7 @@ static void interrupt_all_threads(struct process *proc) { char state; do { state = thread_state(th); - } while (state != 't' && state != 'D'); + } while (state != 't' && state != 'D' && state != 'Z'); wait_thread(th); |