Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
functions)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
is now default in settings.py
|
|
|
|
|
|
|
|
|
|
|
|
exit() throws uncaught exception
|
|
|
|
* Changed exit from throwing an text string to throwing
an Error-derived object encapsulating the exit status.
Then catch it in 'callMain' and return the status.
Enable this functionality by setting CATCH_EXIT_CODE in settings.js
|
|
|
|
parseNumerical
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
postsets from run() to the toplevel to boost performance and simplify compilation. fix various bugs that were noticed during this
|