label timer session requests

Ref #1752
Ref #2224
This commit is contained in:
Emery Hemingway 2017-01-09 11:53:27 +01:00 committed by Norman Feske
parent 07cb4b2a4e
commit ec6cff7ba8

View File

@ -38,9 +38,9 @@ class Timer::Connection : public Genode::Connection<Session>, public Session_cli
/** /**
* Constructor * Constructor
*/ */
Connection(Genode::Env &env) Connection(Genode::Env &env, char const *label = "")
: :
Genode::Connection<Session>(env, session(env.parent(), "ram_quota=8K")), Genode::Connection<Session>(env, session(env.parent(), "ram_quota=8K, label=\"%s\"", label)),
Session_client(cap()) Session_client(cap())
{ {
/* register default signal handler */ /* register default signal handler */