- (/show0 "back from CATCH '%END-OF-THE-WORLD, flushing output")
- (flush-standard-output-streams)
- (/show0 "calling UNIX-EXIT")
- (sb!unix:unix-exit ,caught))))
+ (/show0 "back from CATCH '%END-OF-THE-WORLD, flushing output")
+ (flush-standard-output-streams)
+ (sb!thread::terminate-session)
+ (/show0 "calling UNIX-EXIT")
+ (sb!unix:unix-exit ,caught))))