# HG changeset patch
# User Tuomo Valkonen <tuomov@iki.fi>
# Date 1643795165 -7200
# Node ID 31227feaa05a14ce06d697eac7bf9b58820d9df7
# Parent  61fcd6edb27f41ad49a633be85ab484e939a7a27
Workaround to refresh timer loops on some configurations

diff -r 61fcd6edb27f -r 31227feaa05a borgend/ui.py
--- a/borgend/ui.py	Wed Dec 15 10:35:17 2021 +0200
+++ b/borgend/ui.py	Wed Feb 02 11:46:05 2022 +0200
@@ -304,15 +304,15 @@
             logger.debug("set title %s" % title)
             self.title=title
 
-        if not self.updated_recently and not refresh_time:
-            self.refresh_timer.stop()
-        elif self.updated_recently:
+        self.refresh_timer.stop()
+        
+        if self.updated_recently:
             self.updated_recently=False
             if self.refresh_timer.interval>refresh_interval:
                 self.refresh_timer.stop()
                 self.refresh_timer.interval=refresh_interval
                 self.refresh_timer.start()
-        else:
+        elif refresh_time:
             # Need to time a refresh due to content display changing,
             # e.g., 'tomorrow' changing to a more specific hour.
             when=time.mktime(refresh_time.timetuple())