diff options
Diffstat (limited to 'auto_reload.js')
-rw-r--r-- | auto_reload.js | 5 |
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); } |