X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fjsonrpc.c;h=5e054802f785b2af53a61c31e8da0c32bdfac996;hb=a0bc29a541fc7dc6e20137d5558e2094d614e6ab;hp=5c7dfca9ef85e4cb34c60ca8b8a85eb06d15cb34;hpb=36d802ae1fd61d5ae3bfa1b114b8f3a911d987e5;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);
     }
 }