mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
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.