diff options
| author | Jose <jose@zeroc.com> | 2018-10-25 10:13:15 +0200 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2018-10-25 10:13:15 +0200 |
| commit | f44f04e79537e45ba28f61317d7233ee19f05313 (patch) | |
| tree | bf6d79cb53f071851e0355362ff0b30a9ab34f74 | |
| parent | Do not use setImedidate with Safari workers (diff) | |
| download | ice-f44f04e79537e45ba28f61317d7233ee19f05313.tar.bz2 ice-f44f04e79537e45ba28f61317d7233ee19f05313.tar.xz ice-f44f04e79537e45ba28f61317d7233ee19f05313.zip | |
Minor code simplification
| -rw-r--r-- | js/src/Ice/browser/TimerUtil.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/src/Ice/browser/TimerUtil.js b/js/src/Ice/browser/TimerUtil.js index bac6009a830..048600b0cf5 100644 --- a/js/src/Ice/browser/TimerUtil.js +++ b/js/src/Ice/browser/TimerUtil.js @@ -205,7 +205,7 @@ if(typeof navigator !== "undefined" && // Ice.Timer = createTimerObject(); } -else if(typeof WorkerGlobalScope !== 'undefined' && self instanceof WorkerGlobalScope) +else if(isWorker()) { // // If we are running in a worker don't spawn a separate worker for the timer |