editors/DebugViewer.py
branchpython3
changeset 3765 88fe6fc9fd38
parent 3750 f62625418bff
equal deleted inserted replaced
3764:d92c1a3dafa7 3765:88fe6fc9fd38
    76         # Lock for access to the timer
    76         # Lock for access to the timer
    77         self.TimerAccessLock = Lock()
    77         self.TimerAccessLock = Lock()
    78 
    78 
    79         # Set DataProducer and subscribe tick if needed
    79         # Set DataProducer and subscribe tick if needed
    80         self.SetDataProducer(producer)
    80         self.SetDataProducer(producer)
    81 
       
    82     def __del__(self):
       
    83         """
       
    84         Destructor
       
    85         """
       
    86         # Unsubscribe all data consumers
       
    87         self.UnsubscribeAllDataConsumers()
       
    88 
       
    89         # Delete reference to DataProducer
       
    90         self.DataProducer = None
       
    91 
       
    92         # Stop last refresh timer
       
    93         if self.LastRefreshTimer is not None:
       
    94             self.LastRefreshTimer.cancel()
       
    95 
       
    96         # Release Common debug lock if DebugViewer has acquired it
       
    97         if self.HasAcquiredLock:
       
    98             DEBUG_REFRESH_LOCK.release()
       
    99 
    81 
   100     def SetDataProducer(self, producer):
    82     def SetDataProducer(self, producer):
   101         """
    83         """
   102         Set Data Producer
    84         Set Data Producer
   103         @param producer: Data Producer
    85         @param producer: Data Producer