From b749bdfaf525deda9960eb9fc9d2537584b00d90 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@nicira.com>
Date: Wed, 13 Aug 2008 11:26:26 -0700
Subject: [PATCH] rconn: Use rconn_send() to send echo requests.

There's no point in sending echo requests by hand.
---
 lib/rconn.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/rconn.c b/lib/rconn.c
index a4ff91a2e..da3ffb676 100644
--- a/lib/rconn.c
+++ b/lib/rconn.c
@@ -334,7 +334,7 @@ run_ACTIVE(struct rconn *rc)
 {
     if (timed_out(rc)) {
         unsigned int base = MAX(rc->last_received, rc->state_entered);
-        queue_push_tail(&rc->txq, make_echo_request());
+        rconn_send(rc, make_echo_request(), NULL);
         VLOG_DBG("%s: idle %u seconds, sending inactivity probe",
                  rc->name, (unsigned int) (time_now() - base));
         state_transition(rc, S_IDLE);
-- 
2.47.0