From 51def2fc45d98b59be0413fcb9c25cbb0bbca211 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Sat, 14 Mar 2015 15:01:46 +0100 Subject: Fix blocking channel && channel write on circular-overflow. (see ipc.c) --- src/kernel/core/thread.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/kernel/core') diff --git a/src/kernel/core/thread.c b/src/kernel/core/thread.c index 4a3722d..fab4eef 100644 --- a/src/kernel/core/thread.c +++ b/src/kernel/core/thread.c @@ -421,7 +421,7 @@ void kill_thread(thread_t *thread) { enqueue_thread(thread, false); } yield(); - if (i++ > 100) dbg_printf("Thread 0x%p must be killed but will not exit.\n", thread); + if (i++ == 100) dbg_printf("Thread 0x%p must be killed but will not exit.\n", thread); } exit_critical(st); -- cgit v1.2.3