diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-05-27 10:41:55 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-05-27 10:41:55 -0700 |
| commit | 2fe956af7c49a656c40747c0e79eb4728129fac3 (patch) | |
| tree | 470a3388b3221f53005702ca01b3aa784f9015a4 /src/library_browser.js | |
| parent | 4d6a04143f094293e1d4c969a56020b2a33c6ad8 (diff) | |
emscripten_exit_with_live_runtime
Diffstat (limited to 'src/library_browser.js')
| -rw-r--r-- | src/library_browser.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/library_browser.js b/src/library_browser.js index 2e6c9150..1a79a49b 100644 --- a/src/library_browser.js +++ b/src/library_browser.js @@ -754,6 +754,11 @@ mergeInto(LibraryManager.library, { } }, + emscripten_exit_with_live_runtime: function() { + Module['noExitRuntime'] = true; + throw 'SimulateInfiniteLoop'; + }, + emscripten_hide_mouse: function() { var styleSheet = document.styleSheets[0]; var rules = styleSheet.cssRules; |