mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
dfc4c58782
This patch ensures that the POLICY::release is called whenever the session creation aborted with an exception. In the original version, an exception like 'Quota_exceeded' caused a single-session root interface to deny subsequent session requests.