X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ofproto%2Fofproto.c;h=189aa2c827a96ee04eb2b02db178e5fd23064799;hb=b959290bed1e2183ec93f593422e9ac4ae1a9587;hp=0e422146070dd1f6166351fa873ba44641fcb43a;hpb=2d38e234f4591bf3b494a4299abd4db7fe5cf3fd;p=openvswitch

diff --git a/ofproto/ofproto.c b/ofproto/ofproto.c
index 0e422146..189aa2c8 100644
--- a/ofproto/ofproto.c
+++ b/ofproto/ofproto.c
@@ -760,6 +760,8 @@ ofproto_destroy(struct ofproto *p)
     free(p->serial_desc);
     free(p->dp_desc);
 
+    port_array_destroy(&p->ports);
+
     free(p);
 }