commit 2bdda1d1857c33a672f4f4fa2bf360c08f29ffa5
author Davide Pesavento <davide.pesavento@lip6.fr> Thu Aug 09 19:35:49 2018 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> Thu Aug 09 19:35:49 2018 -0400
tree e25d8e08ee78a00dcb5b8bf96b8c0fc7c1e330a6
parent 5923bf814b32fa82404b2d55895cc300577aa672

pingserver: add --quiet option

Change-Id: I7e61383e587044fd65a50e4dee58a020d3b292ad
Refs: #4673

tools/ping/server/tracer.cpp

diff --git a/tools/ping/server/tracer.cpp b/tools/ping/server/tracer.cpp
index 5f5150a..51b191c 100644
--- a/tools/ping/server/tracer.cpp
+++ b/tools/ping/server/tracer.cpp
@@ -28,7 +28,9 @@
 Tracer::Tracer(PingServer& pingServer, const Options& options)
   : m_options(options)
 {
-  pingServer.afterReceive.connect([this] (const Name& name) { onReceive(name); });
+  if (!m_options.wantQuiet) {
+    pingServer.afterReceive.connect([this] (const Name& name) { onReceive(name); });
+  }
 }
 
 void