From 54532b99f971de43bbcd60e7187791d783d45e05 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 8 Dec 2017 13:42:19 +0100
Subject: [PATCH] nic_router: don't use color codes in log

Issue #2609
---
 repos/os/src/server/nic_router/domain.cc    | 6 +++---
 repos/os/src/server/nic_router/interface.cc | 8 ++++----
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/repos/os/src/server/nic_router/domain.cc b/repos/os/src/server/nic_router/domain.cc
index f8468ce4cc..e46d1e4d53 100644
--- a/repos/os/src/server/nic_router/domain.cc
+++ b/repos/os/src/server/nic_router/domain.cc
@@ -119,7 +119,7 @@ Domain::Domain(Configuration &config, Xml_node const node, Allocator &alloc)
 		throw Invalid();
 	}
 	if (_config.verbose_domain_state()) {
-		log("\033[32m(", *this, ")\033[0m NIC sessions: 0");
+		log("[", *this, "] NIC sessions: 0");
 	}
 	_ip_config_changed();
 }
@@ -130,12 +130,12 @@ void Domain::_ip_config_changed()
 	if (!ip_config().valid) {
 
 		if (_config.verbose_domain_state()) {
-			log("\033[32m(", *this, ")\033[0m IP config: none");
+			log("[", *this, "] IP config: none");
 		}
 		return;
 	}
 	if (_config.verbose_domain_state()) {
-		log("\033[32m(", *this, ")\033[0m IP config:"
+		log("[", *this, "] IP config:"
 		    " interface ", ip_config().interface,
 		     ", gateway ", ip_config().gateway);
 	}
diff --git a/repos/os/src/server/nic_router/interface.cc b/repos/os/src/server/nic_router/interface.cc
index 66f3a5a382..5a51fd07c7 100644
--- a/repos/os/src/server/nic_router/interface.cc
+++ b/repos/os/src/server/nic_router/interface.cc
@@ -835,7 +835,7 @@ void Interface::_handle_eth(void              *const  eth_base,
 	try {
 		Ethernet_frame * const eth = new (eth_base) Ethernet_frame(eth_size);
 		if (_config().verbose()) {
-			log("\033[33m(router <- ", _domain, ")\033[0m ", *eth); }
+			log("(router <- ", _domain, ") ", *eth); }
 
 		if (_domain.ip_config().valid) {
 
@@ -893,7 +893,7 @@ void Interface::_handle_eth(void              *const  eth_base,
 void Interface::send(Ethernet_frame &eth, Genode::size_t const size)
 {
 	if (_config().verbose()) {
-		log("\033[33m(", _domain, " <- router)\033[0m ", eth); }
+		log("(", _domain, " <- router) ", eth); }
 	try {
 		/* copy and submit packet */
 		Packet_descriptor const pkt = _source().alloc_packet(size);
@@ -923,7 +923,7 @@ Interface::Interface(Entrypoint        &ep,
 	_domain(domain)
 {
 	if (_config().verbose_domain_state()) {
-		log("\033[32m(", _domain, ")\033[0m NIC sessions: 1");
+		log("[", _domain, "] NIC sessions: 1");
 	}
 	_domain.interface().set(*this);
 }
@@ -959,7 +959,7 @@ Interface::~Interface()
 {
 	_domain.interface().unset();
 	if (_config().verbose_domain_state()) {
-		log("\033[32m(", _domain, ")\033[0m NIC sessions: 0");
+		log("[", _domain, "] NIC sessions: 0");
 	}
 
 	/* destroy ARP waiters */