/branches/tracing/kernel/generic/src/ipc/ipc.c |
---|
643,6 → 643,7 |
spinlock_lock(&TASK->answerbox.lock); |
if (list_empty(&TASK->answerbox.connected_phones)) { |
/* Last phone has been disconnected */ |
TASK->kb_thread_at_hand = false; |
TASK->kb_thread = NULL; |
done = true; |
printf("phone list is empty\n"); |