From ca56ffbcd293db850dee6dfaab6fd21ba280e151 Mon Sep 17 00:00:00 2001 From: Alexander Weidinger Date: Sun, 5 May 2019 18:40:48 +0200 Subject: [PATCH] Unimportant change --- src/app/child_intercepted_log/main.cc | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/app/child_intercepted_log/main.cc b/src/app/child_intercepted_log/main.cc index 6ff536d..c9064f3 100644 --- a/src/app/child_intercepted_log/main.cc +++ b/src/app/child_intercepted_log/main.cc @@ -108,7 +108,7 @@ class Custom::Log_session_component : public Genode::Rpc_object log session intercepter!"); auto result = _parent_log.write(string_buf); return result; } @@ -129,10 +129,9 @@ class Custom::Log_session_factory : public Genode::Local_service