aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--auto_reload.js5
1 files changed, 3 insertions, 2 deletions
diff --git a/auto_reload.js b/auto_reload.js
index 58d9571..258452e 100644
--- a/auto_reload.js
+++ b/auto_reload.js
@@ -63,6 +63,7 @@ let PLUGIN_INFO =
function (args) {
let tab = gBrowser.mCurrentTab;
let storage = tab[this.uuid] || (tab[this.uuid] = {});
+ let reload;
let func = reload = function () tabs.reload(tab);
let time = parseInt(parseFloat(args[0] || 1) * 1000);
@@ -78,12 +79,12 @@ let PLUGIN_INFO =
return;
storage.lastModifiedTime = mt;
reload();
- }
+ };
}
}
if (storage.timer) {
- liberator.log('removed')
+ liberator.log('removed');
clearInterval(storage.timer);
}