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
..
2018-01-17 12:14:35 +01:00
2018-01-17 12:14:35 +01:00
2017-02-28 12:59:29 +01:00
2019-01-30 13:49:54 +01:00
2018-01-17 12:14:35 +01:00
2019-01-30 13:49:54 +01:00
2019-01-30 13:49:54 +01:00
2019-01-07 12:25:45 +01:00
2018-02-14 20:41:09 +01:00
2017-05-31 13:16:21 +02:00
2018-01-17 12:14:35 +01:00
2017-05-31 13:16:21 +02:00
2018-01-17 12:14:35 +01:00
2017-03-24 16:19:56 +01:00
2019-01-30 13:49:54 +01:00
2018-07-03 09:39:35 +02:00
2017-02-28 12:59:29 +01:00
2017-10-19 13:29:41 +02:00
2019-01-30 13:49:54 +01:00
2019-01-07 12:25:45 +01:00
2019-01-30 13:49:54 +01:00
2018-01-17 12:14:35 +01:00
2019-01-07 12:43:23 +01:00
2018-04-10 11:20:47 +02:00
2019-01-30 13:49:55 +01:00
2018-01-17 12:14:35 +01:00
2018-01-17 12:14:35 +01:00
2018-01-17 12:14:35 +01:00
2017-05-31 13:16:04 +02:00
2019-01-07 12:25:45 +01:00
2018-01-17 12:14:35 +01:00
2018-01-17 12:14:35 +01:00
2018-01-17 12:14:35 +01:00
2019-01-30 13:49:54 +01:00
2018-01-17 12:14:35 +01:00
2017-05-31 13:16:22 +02:00
2019-01-30 13:49:54 +01:00
2018-09-03 17:07:00 +02:00
2018-02-14 20:41:03 +01:00
2017-02-28 12:59:29 +01:00
2018-02-14 20:41:03 +01:00
2019-01-30 13:49:54 +01:00
2018-08-02 14:36:46 +02:00
2018-03-27 13:44:27 +02:00
2019-01-30 13:49:54 +01:00