Avoid unnecessary page reloads on extension updates.

2019-10-18 10:49:16 +02:00 · 2019-10-18 10:49:16 +02:00 · f1cf5d9535
parent 2c8ac802ea
commit f1cf5d9535
1 changed files with 1 additions and 1 deletions
--- a/src/bg/deferWebTraffic.js
+++ b/src/bg/deferWebTraffic.js
@ -16,7 +16,7 @@ function deferWebTraffic(promiseToWaitFor, next) {
    try {
      browser.tabs.executeScript(tabId, {
        runAt: "document_start",
-        code: "window.location.reload(false)"
+        code: "if (performance.now() < 60000) window.location.reload(false)"
      });
      debug("Reloading tab", tabId);
    } catch (e) {