Norman Feske 6f6f68f216 nitpicker/wm: fix session_control mechanism ...

The session-control mechanism is based on the way how sessions are
labeled. In #2171, we changed the labeling to be more strict. In
particular, label-less sessions do no longer exist.

Unfortunately, nitpicker and the window manager still handled the former
weaker labeling, which ultimately led to a situation where any
session-control argument would mismatch. The behavior could be observed
in the launcher.run script where a click on the subsystem button would
not focus the clicked-on subsystem. With the patch, the scenario works
again as expected.

2017-01-13 13:07:14 +01:00

..

app

app/cli_monitor: API transition

2017-01-13 13:07:00 +01:00

drivers

acpi_drv: Genode API transition

2017-01-13 13:07:13 +01:00

init

init: API transition

2017-01-13 13:07:02 +01:00

lib

Warn about the use of deprecated env() function

2017-01-13 13:07:13 +01:00

server

nitpicker/wm: fix session_control mechanism

2017-01-13 13:07:14 +01:00

test

report_rom/clipboard: API transition

2017-01-13 13:07:14 +01:00