X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdpif-linux.c;h=0f6a1405c3a1bd93bf925e92db5e858c441ea9ae;hb=0c58c0c4da31b554e88be581cca39d314ded9b6b;hp=586de489cb9035f0c249d552db9a83b35cd0a342;hpb=eb8b28e7da920d162f439a5a58088982f0da58a1;p=openvswitch

diff --git a/lib/dpif-linux.c b/lib/dpif-linux.c
index 586de489..0f6a1405 100644
--- a/lib/dpif-linux.c
+++ b/lib/dpif-linux.c
@@ -289,6 +289,7 @@ static void
 dpif_linux_close(struct dpif *dpif_)
 {
     struct dpif_linux *dpif = dpif_linux_cast(dpif_);
+    nl_sock_destroy(dpif->mc_sock);
     rtnetlink_link_notifier_unregister(&dpif->port_notifier);
     sset_destroy(&dpif->changed_ports);
     free(dpif->lru_bitmap);