From 4b1f182e613580fe1b2f8c7be0ee78f91639c46b Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 14 Feb 2012 12:35:20 +0100
Subject: [PATCH] Unlock guarded lock before sending IPC error reply

Sending a reply message does not return, so the guarded lock needs to get
unlocked manually.

This patch fixes #117.
---
 base-nova/src/base/server/server.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base-nova/src/base/server/server.cc b/base-nova/src/base/server/server.cc
index 03dfa7036..fbb5bb595 100644
--- a/base-nova/src/base/server/server.cc
+++ b/base-nova/src/base/server/server.cc
@@ -109,6 +109,7 @@ void Rpc_entrypoint::_activation_entry()
 		ep->_curr_obj = ep->obj_by_id(srv.badge());
 		if (!ep->_curr_obj) {
 			PERR("could not look up server object, return from call");
+			ep->_curr_obj_lock.unlock();
 			srv << IPC_REPLY;
 		}