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

..

audio_in_session

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

audio_out_session

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

blit

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

block

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00

block_session

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

cli_monitor

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00

decorator

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00

file_system

os: avoid ambiguous warnings for vfs/server

2019-01-07 12:25:45 +01:00

file_system_session

New watch handle mechanism for File_system session

2018-02-14 20:41:09 +01:00

framebuffer_session

API documentation refinements

2017-05-31 13:16:21 +02:00

gpio

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

gpio_session

API documentation refinements

2017-05-31 13:16:21 +02:00

gpu_session

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

init

Adaptation to init refactoring

2017-03-24 16:19:56 +01:00

input

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00

input_session

Input::Binding for non-C++ language bindings

2018-07-03 09:39:35 +02:00

ldso

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

loader_session

Remove unused os/alarm.h include from loader

2017-10-19 13:29:41 +02:00

mixer

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00

net

os: avoid warning in ethernet.h

2019-01-07 12:25:45 +01:00

nic

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00

nic_session

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

nitpicker_gfx

nitpicker: avoid color bleeding

2019-01-07 12:43:23 +01:00

nitpicker_session

nitpicker: improve 'Session::focus' handling

2018-04-10 11:20:47 +02:00

os

os/session_policy: warn if no policy exists

2019-01-30 13:49:55 +01:00

packet_stream_rx

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

packet_stream_tx

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

platform_device

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

platform_session

Annotate session interfaces with CAP_QUOTA

2017-05-31 13:16:04 +02:00

pointer

os: avoid garbage warnings in app/painter

2019-01-07 12:25:45 +01:00

ram_fs

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

regulator

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

regulator_session

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

report_rom

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00

report_session

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

rtc_session

Optional session label for Rtc connection constructor

2017-05-31 13:16:22 +02:00

spec

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00

terminal

terminal: remove upper character range check

2018-09-03 17:07:00 +02:00

terminal_session

terminal session: propagate resize events

2018-02-14 20:41:03 +01:00

trace

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

uart_session

terminal session: propagate resize events

2018-02-14 20:41:03 +01:00

usb

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00

usb_session

usb_drv: add isochronous packet support

2018-08-02 14:36:46 +02:00

util

os: util/utf8.h for UTF-8 string handling

2018-03-27 13:44:27 +02:00

vfs

os: avoid using deprecated APIs

2019-01-30 13:49:54 +01:00