don't swallow uncaught exceptions (#257)

This commit is contained in:
Jeff Williams 2012-11-10 11:19:30 -08:00
parent 461bc2c8ac
commit f205e2bde1

View File

@ -426,12 +426,12 @@ function main() {
try { main(); }
catch(e) {
if (e.rhinoException != null) {
e.rhinoException.printStackTrace();
// TODO: print to stderr
e.rhinoException.printStackTrace();
} else {
throw e;
}
}
finally {
env.run.finish = new Date();
process.exit(0);
}