mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 23:42:32 +00:00
d3759811b6
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. |
||
|---|---|---|
| .. | ||
| api | ||
| pkg | ||
| raw | ||
| src | ||