diff --git a/repos/base/include/base/service.h b/repos/base/include/base/service.h index cd88f5746c..5e87326ba1 100644 --- a/repos/base/include/base/service.h +++ b/repos/base/include/base/service.h @@ -190,6 +190,9 @@ class Genode::Local_service : public Service session.phase = Session_state::INSUFFICIENT_CAP_QUOTA; } catch (Insufficient_ram_quota) { session.phase = Session_state::INSUFFICIENT_RAM_QUOTA; } + catch (...) { + warning("unexpected exception during ", + SESSION::service_name(), " session construction"); } break;