diff options
| -rw-r--r-- | src/library_browser.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/library_browser.js b/src/library_browser.js index 4cd8b392..5cc7e122 100644 --- a/src/library_browser.js +++ b/src/library_browser.js @@ -430,11 +430,13 @@ mergeInto(LibraryManager.library, { }); }, safeSetTimeout: function(func, timeout) { + Module['noExitRuntime'] = true; return setTimeout(function() { if (!ABORT) func(); }, timeout); }, safeSetInterval: function(func, timeout) { + Module['noExitRuntime'] = true; return setInterval(function() { if (!ABORT) func(); }, timeout); |