mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-28 07:04:14 +00:00
ecd4006514
The service is merely announced but trying to request a session always causes a Service_denied exception. This helps in scenarios where the client is won't open a session anyway but expects the service to be available. This is considered a temporary solution. Ref #4419