From cbcfbf86ca5af6109a0ff68043aa9f202d78e125 Mon Sep 17 00:00:00 2001
From: Avi Kivity <avi@cloudius-systems.com>
Date: Thu, 11 Sep 2014 17:37:34 +0300
Subject: [PATCH] tcp: don't respond to RST packets

---
 net/tcp.hh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/net/tcp.hh b/net/tcp.hh
index 38416b9e36..c1ea1f8dc7 100644
--- a/net/tcp.hh
+++ b/net/tcp.hh
@@ -277,6 +277,9 @@ void tcp<InetTraits>::tcb::respond_with_reset(tcp_hdr* rth) {
 
 template <typename InetTraits>
 void tcp<InetTraits>::respond_with_reset(tcp_hdr* rth, ipaddr local_ip, ipaddr foreign_ip) {
+    if (rth->f_rst) {
+        return;
+    }
     packet p;
     auto th = p.prepend_header<tcp_hdr>();
     th->src_port = rth->dst_port;