A series of synchronization fixes:

[nepi.git] / src / nepi / testbeds / planetlab / interfaces.py

diff --git a/src/nepi/testbeds/planetlab/interfaces.py b/src/nepi/testbeds/planetlab/interfaces.py
index d266864..632e022 100644 (file)
--- a/src/nepi/testbeds/planetlab/interfaces.py
+++ b/src/nepi/testbeds/planetlab/interfaces.py
@@ -246,6 +246,10 @@ class TunIface(object):
     def cleanup(self):
         if self.peer_proto_impl:
             self.peer_proto_impl.shutdown()
+
+    def destroy(self):
+        if self.peer_proto_impl:
+            self.peer_proto_impl.destroy()
             self.peer_proto_impl = None
 
     def async_launch_wait(self):