From 01099eba9fad30b278b0194b3fb4049d1e089327 Mon Sep 17 00:00:00 2001
From: javalikescript <javalikescript@free.fr>
Date: Mon, 30 Dec 2024 11:55:06 +0100
Subject: [PATCH] Protect web time interval

---
 extensions/web-time/web-time.js | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/extensions/web-time/web-time.js b/extensions/web-time/web-time.js
index 71eacea..726c905 100644
--- a/extensions/web-time/web-time.js
+++ b/extensions/web-time/web-time.js
@@ -12,10 +12,14 @@ define(['./web-time.xml'], function(timeTemplate) {
         var self = this;
         var date = new Date();
         self.refresh(date);
+        this.clearTimer();
         var ms = 1000 - (date.getTime() % 1000);
-        setTimeout(function() {
-          self.refresh(new Date());
-          self.registerTimer(1000);
+        // TODO Interval refresh should be provided by the app.
+        this.timer = setTimeout(function() {
+          if (app.isActivePage(self)) {
+            self.refresh(new Date());
+            self.registerTimer(1000);
+          }
         }, ms);
       },
       onHide: function() {