update

[l4.git] / kernel / fiasco / src / kern / thread.cpp

diff --git a/kernel/fiasco/src/kern/thread.cpp b/kernel/fiasco/src/kern/thread.cpp
index 08150e895a2afd2f64d485150cc3b0c34a1bb0a7..27f2206efaeb600e8cd9f5f6cffbf7cfefff9d2e 100644 (file)
--- a/kernel/fiasco/src/kern/thread.cpp
+++ b/kernel/fiasco/src/kern/thread.cpp
@@ -561,7 +561,7 @@ Thread::do_kill()
   }
 
   // if engaged in IPC operation, stop it
-  if (receiver())
+  if (in_sender_list())
     sender_dequeue(receiver()->sender_list());
 
   Context::do_kill();