editors/DebugViewer.py
branchpython3
changeset 3765 88fe6fc9fd38
parent 3750 f62625418bff
--- a/editors/DebugViewer.py	Fri Oct 28 18:59:04 2022 +0800
+++ b/editors/DebugViewer.py	Fri Oct 28 19:39:17 2022 +0800
@@ -79,24 +79,6 @@
         # Set DataProducer and subscribe tick if needed
         self.SetDataProducer(producer)
 
-    def __del__(self):
-        """
-        Destructor
-        """
-        # Unsubscribe all data consumers
-        self.UnsubscribeAllDataConsumers()
-
-        # Delete reference to DataProducer
-        self.DataProducer = None
-
-        # Stop last refresh timer
-        if self.LastRefreshTimer is not None:
-            self.LastRefreshTimer.cancel()
-
-        # Release Common debug lock if DebugViewer has acquired it
-        if self.HasAcquiredLock:
-            DEBUG_REFRESH_LOCK.release()
-
     def SetDataProducer(self, producer):
         """
         Set Data Producer