From: Ben Pfaff <blp@nicira.com>
Date: Wed, 13 Aug 2008 18:26:26 +0000 (-0700)
Subject: rconn: Use rconn_send() to send echo requests.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b749bdfaf525deda9960eb9fc9d2537584b00d90;p=openvswitch

rconn: Use rconn_send() to send echo requests.

There's no point in sending echo requests by hand.
---

diff --git a/lib/rconn.c b/lib/rconn.c
index a4ff91a2..da3ffb67 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);