diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-12-17 15:30:08 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-12-17 15:30:08 +0100 |
commit | 34b039de45d33b80149713ab856f1d4bd1d1e966 (patch) | |
tree | 0a8cbbd45ececb02d6a439afdeb638bff65c469c /extension/background/timerThread.js | |
parent | dbf4de68b38cec6540ea56934c14b46f1d822c1a (diff) | |
parent | 6d677f0ec531fc8caea487e916884b14a049891a (diff) |
Merge branch 'master' of ssh://taler.net/var/git/wallet
Diffstat (limited to 'extension/background/timerThread.js')
-rw-r--r-- | extension/background/timerThread.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/extension/background/timerThread.js b/extension/background/timerThread.js index a42b0edf6..7ac66a711 100644 --- a/extension/background/timerThread.js +++ b/extension/background/timerThread.js @@ -1,3 +1,10 @@ +/** + * This file should be used as a WebWorker. + * Background pages in the WebExtensions model do + * not allow to schedule callbacks that should be called + * after a timeout. We can emulate this with WebWorkers. + */ + onmessage = function(e) { self.setInterval(() => postMessage(true), e.data.interval); } |