Commit Detail
Commit 44d3004
Cleanup: Move hacks into js.terminateExecution(). There are now two methods: * js.terminateNextExecution(), which has the previous behavior. * js.terminateExecutionNow(), which forces the termination to happen synchronously and always throws. This lets us take the hack that had proliferated to three different places and keep it in one place.