def update_refresh_rate(self): index = int(self.refresh_selector.get_selected_index()) grt.root.wb.options.options['Administrator:refresh_connections_rate_index'] = index self.serial += 1 if self._refresh_timeout: Utilities.cancel_timeout(self._refresh_timeout) self._refresh_timeout = None if (index < self.refresh_values_size): self._refresh_timeout = Utilities.add_timeout(self.refresh_values[index], partial(self.refresh, my_serial = self.serial))
def handle_on_close(self): log_debug("Closing admin\n") if self._timeout_tm: Utilities.cancel_timeout(self._timeout_tm) self._timeout_tm = None nc.remove_observer(self.handle_server_state_changed) App.get().set_status_text("Closing Administator.") self.shutdown() if not self.closing: log_debug("Admin close cancelled\n") return False self.ctrl_be.shutdown() self.release() self.owner.handle_close() return True
def shutdown(self): if self._refresh_timeout: Utilities.cancel_timeout(self._refresh_timeout) self._refresh_timeout = None