From 79ca4e1718f52ebda0508e571d31ba64d29824e0 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 2 Nov 2018 16:18:29 +0100
Subject: [PATCH] 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.
---
 repos/base/include/base/child.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/include/base/child.h b/repos/base/include/base/child.h
index 52ca5e9d61..1dad8a1257 100644
--- a/repos/base/include/base/child.h
+++ b/repos/base/include/base/child.h
@@ -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;