svghmi/svghmi_server.py
branchsvghmi
changeset 2835 bc666f020ab3
parent 2832 e9ba4dee6ffb
child 2993 b76f303ffce6
equal deleted inserted replaced
2834:6ac6a9dff594 2835:bc666f020ab3
    90     def _start(self, rearm=False):
    90     def _start(self, rearm=False):
    91         duration = self.interval if rearm else self.initial_timeout
    91         duration = self.interval if rearm else self.initial_timeout
    92         if duration:
    92         if duration:
    93             self.timer = Timer(duration, self.trigger)
    93             self.timer = Timer(duration, self.trigger)
    94             self.timer.start()
    94             self.timer.start()
       
    95         else:
       
    96             self.timer = None
    95 
    97 
    96     def _stop(self):
    98     def _stop(self):
    97         if self.timer is not None:
    99         if self.timer is not None:
    98             self.timer.cancel()
   100             self.timer.cancel()
    99             self.timer = None
   101             self.timer = None