diff options
author | Alon Zakai <alonzakai@gmail.com> | 2011-12-02 20:10:19 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2011-12-02 20:10:19 -0800 |
commit | 0bea4bec8e1e21c280f99264cc7ec68ed4820717 (patch) | |
tree | b42bcf4ed61564f6e491686893d2beb3a9f56419 /src/settings.js | |
parent | b9522ed475bda6fda0cad4a7302d9f23b4529ad0 (diff) | |
parent | ca12d620e84fc5284976fb3ecfb8ef30ee7cfe4a (diff) |
Merge pull request #116 from eclecticdave/master
exit() throws uncaught exception
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index bcda4757..66762298 100644 --- a/src/settings.js +++ b/src/settings.js @@ -77,6 +77,10 @@ var CLOSURE_INLINE_PREVENTION_LINES = 50; // Functions of this number of lines o // code generated that tells the closure compiler not to // inline them. This is useful to prevent the generation of // overly large functions. +var CATCH_EXIT_CODE = 0; // If set, causes exit() to throw an exception object which is caught + // in a try..catch block and results in the exit status being + // returned from run(). If zero (the default), the program is just + // terminated with an error message. // Generated code debugging options var SAFE_HEAP = 0; // Check each write to the heap against a list of blocked addresses |