|
|
|---|
| 395 |
self._timeout_id = notifier.timer_add(int(self.session_end_time - monotonic()) * 1000, self._session_timeout_timer) |
395 |
self._timeout_id = notifier.timer_add(int(self.session_end_time - monotonic()) * 1000, self._session_timeout_timer) |
| 396 |
|
396 |
|
| 397 |
def disconnect_timer(self): |
397 |
def disconnect_timer(self): |
| 398 |
notifier.timer_remove(self._timeout_id) |
398 |
try: |
|
|
399 |
notifier.timer_remove(self._timeout_id) |
| 400 |
except KeyError: |
| 401 |
pass # timer has already been removed, Bug #52535 |
| 399 |
|
402 |
|
| 400 |
def timed_out(self, now): |
403 |
def timed_out(self, now): |
| 401 |
return self.session_end_time < now |
404 |
return self.session_end_time < now |