From 5e3d505ef4d0ed576eb16cdb2c51310f6ebcd09c Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 21 Nov 2013 17:30:43 +0100
Subject: [PATCH] hw: bin stupid case in Thread::_await_ipc_failed

ref #958
---
 base-hw/src/core/kernel/thread.cc | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/base-hw/src/core/kernel/thread.cc b/base-hw/src/core/kernel/thread.cc
index 296afd603f..6e2533be8e 100644
--- a/base-hw/src/core/kernel/thread.cc
+++ b/base-hw/src/core/kernel/thread.cc
@@ -131,10 +131,6 @@ void Thread::_await_ipc_failed()
 		user_arg_0(-1);
 		_schedule();
 		return;
-	case SCHEDULED:
-		PERR("failed to receive IPC");
-		_stop();
-		return;
 	default:
 		PERR("wrong thread state to cancel IPC");
 		_stop();