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; }