From f0c1bcdb3369bc3dbaeb42338fbbc76370c00072 Mon Sep 17 00:00:00 2001
From: Asias He <asias@cloudius-systems.com>
Date: Mon, 9 Feb 2015 08:52:20 +0200
Subject: [PATCH] tcp: Switch to debug print for persist timer

It is a left over during development.
---
 net/tcp.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/net/tcp.hh b/net/tcp.hh
index cab2557e85..6255105c1d 100644
--- a/net/tcp.hh
+++ b/net/tcp.hh
@@ -1632,7 +1632,7 @@ void tcp<InetTraits>::tcb::trim_receive_data_after_window() {
 
 template <typename InetTraits>
 void tcp<InetTraits>::tcb::persist() {
-    print("persist timer fired\n");
+    tcp_debug("persist timer fired\n");
     // Send 1 byte packet to probe peer's window size
     _snd.window_probe = true;
     output_one();