X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fjsonrpc.c;h=5e054802f785b2af53a61c31e8da0c32bdfac996;hb=b65595087b02856eb5769c4b5b60e4c65c7ea3cd;hp=5c7dfca9ef85e4cb34c60ca8b8a85eb06d15cb34;hpb=a4af00400a835eb87569ba40e21874c05e872c0f;p=openvswitch

diff --git a/lib/jsonrpc.c b/lib/jsonrpc.c
index 5c7dfca9..5e054802 100644
--- a/lib/jsonrpc.c
+++ b/lib/jsonrpc.c
@@ -684,6 +684,7 @@ jsonrpc_session_close(struct jsonrpc_session *s)
     if (s) {
         jsonrpc_close(s->rpc);
         reconnect_destroy(s->reconnect);
+        stream_close(s->stream);
         free(s);
     }
 }