From e4d979c8de3271a933850d86df9d8b085e195dcc Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 8 May 2020 13:29:14 +0200
Subject: [PATCH] Adapt log_tee to LOG session changes

---
 src/server/log_tee/component.cc | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/server/log_tee/component.cc b/src/server/log_tee/component.cc
index 20fc41f..a612cbe 100644
--- a/src/server/log_tee/component.cc
+++ b/src/server/log_tee/component.cc
@@ -50,15 +50,13 @@ class Log_tee::Session_component : public Rpc_object<Log_session>
 		Session_component(Env &env, Session_label const &label, char const *args)
 		: _log(env, args), _prefix("[", label.string(), "] ") { }
 
-		size_t write(Log_session::String const &msg) override
+		void write(Log_session::String const &msg) override
 		{
 			/* write to the dedicated client log session */
-			size_t n = _log.write(msg);
+			_log.write(msg);
 
 			/* write to our own log session */
 			log(_prefix, msg.string());
-
-			return n;
 		}
 };