diff options
author | hackademix | 2019-10-18 10:49:16 +0200 |
---|---|---|
committer | hackademix | 2019-10-18 10:49:16 +0200 |
commit | f1cf5d9535d997de0c12082be3a738de4c1d2b8b (patch) | |
tree | 4389e4b60aa7995a0d79e7c8a31c3a5efde2b462 | |
parent | 2c8ac802eaf05590f495af4c668638b3894a423a (diff) | |
download | noscript-f1cf5d9535d997de0c12082be3a738de4c1d2b8b.tar.gz noscript-f1cf5d9535d997de0c12082be3a738de4c1d2b8b.tar.xz noscript-f1cf5d9535d997de0c12082be3a738de4c1d2b8b.zip |
Avoid unnecessary page reloads on extension updates.
-rw-r--r-- | src/bg/deferWebTraffic.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bg/deferWebTraffic.js b/src/bg/deferWebTraffic.js index 571073a..fcfb0b9 100644 --- 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) { |