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/ping-server.hpp

diff --git a/tools/ping/server/ping-server.hpp b/tools/ping/server/ping-server.hpp
index 2d81e5f..3a43a6d 100644
--- a/tools/ping/server/ping-server.hpp
+++ b/tools/ping/server/ping-server.hpp
@@ -39,6 +39,7 @@
   size_t nMaxPings = 0;                     //!< max number of pings to satisfy (0 == no limit)
   size_t payloadSize = 0;                   //!< response payload size (0 == no payload)
   bool wantTimestamp = false;               //!< print timestamp when response sent
+  bool wantQuiet = false;                   //!< suppress printing per-packet log message
 };
 
 /**