diff --git a/repos/os/src/init/server.cc b/repos/os/src/init/server.cc index 0af8649f1a..7995d74586 100644 --- a/repos/os/src/init/server.cc +++ b/repos/os/src/init/server.cc @@ -145,6 +145,12 @@ void Init::Server::session_ready(Session_state &session) if (session.phase == Session_state::SERVICE_DENIED) _close_session(session, Parent::SERVICE_DENIED); + + if (session.phase == Session_state::INSUFFICIENT_RAM_QUOTA) + _close_session(session, Parent::INSUFFICIENT_RAM_QUOTA); + + if (session.phase == Session_state::INSUFFICIENT_CAP_QUOTA) + _close_session(session, Parent::INSUFFICIENT_CAP_QUOTA); }