init: show args on "denied env session" error

It can be hard to resolve "denied env session" errors when you don't have the
session label.
This commit is contained in:
Martin Stein 2018-11-02 16:18:29 +01:00 committed by Norman Feske
parent 7f959a06f6
commit 79ca4e1718

View File

@ -606,7 +606,7 @@ class Genode::Child : protected Rpc_object<Parent>,
}
catch (Service_denied) {
error(_child._policy.name(), ": ", _service_name(), " "
"environment session denied"); }
"environment session denied (", _args.string(), ")"); }
}
typedef typename CONNECTION::Session_type SESSION;