From 48132c9ca3c2642a1c116dd4871cf73b7766bd95 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 13 Dec 2017 19:08:04 +0100 Subject: [PATCH] fs_rom: remove debug message --- repos/os/src/server/fs_rom/main.cc | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/repos/os/src/server/fs_rom/main.cc b/repos/os/src/server/fs_rom/main.cc index 2cf7293f52..757528a34e 100755 --- a/repos/os/src/server/fs_rom/main.cc +++ b/repos/os/src/server/fs_rom/main.cc @@ -22,7 +22,7 @@ #include #include #include -#include + /***************** ** ROM service ** @@ -465,8 +465,6 @@ class Fs_rom::Rom_root : public Root_component Session_label const label = label_from_args(args); Session_label const module_name = label.last_element(); - log("request for ", label); - /* create new session for the requested file */ Rom_session_component *session = new (md_alloc()) Rom_session_component(_env, _fs, module_name.string());