genode/repos/gems/recipes/raw/themed_wm
Norman Feske d3759811b6 os/session_policy: warn if no policy exists
The situation where a 'Session_policy' is constructed for a label with
no matching policy is in almost all cases a configuration problem.
A diagnostic message eases pin-pointing such mistaks. By adding the
message to the 'Session_policy', servers don't need to manually handle
the exception to provide diagnostic information. This simplifies the
server code in many components.
2019-01-30 13:49:55 +01:00
..
content.mk Depot-archive recipes 2017-05-31 13:15:56 +02:00
decorator_init.config os/session_policy: warn if no policy exists 2019-01-30 13:49:55 +01:00
hash depot: update recipe hashes 2018-02-16 08:42:31 +01:00