From 3f61ea710467f6bfe9505dde31878461776c0a83 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Sun, 25 Mar 2012 22:10:04 -0700
Subject: [PATCH] Restore deleted deleteIntfs in OVSSwitch.stop()

---
 mininet/node.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mininet/node.py b/mininet/node.py
index 6eebc0d..cee6b67 100644
--- a/mininet/node.py
+++ b/mininet/node.py
@@ -865,6 +865,7 @@ class OVSSwitch( Switch ):
     def stop( self ):
         "Terminate OVS switch."
         self.cmd( 'ovs-vsctl del-br', self )
+        self.deleteIntfs()
 
 OVSKernelSwitch = OVSSwitch