init: print error for denied environment sessions

Fixes #2214
2017-01-06 11:25:56 +01:00 · 2017-01-06 11:25:56 +01:00 · 73837ef56a
parent 06a4411196
commit 73837ef56a
1 changed files with 5 additions and 0 deletions
--- a/repos/base/include/base/child.h
+++ b/repos/base/include/base/child.h
@ -393,6 +393,11 @@ class Genode::Child : protected Rpc_object<Parent>,
 					session.ready_callback = this;
 					session.async_client_notify = true;
 					_service.initiate_request(session);
+
+					if (session.phase == Session_state::INVALID_ARGS)
+						error(_child._policy.name(), ": environment ",
+						      CONNECTION::service_name(), " session denied "
+						      "(", session.args(), ")");
 				}

 				/**