Hi Tim,

> This is already the case. `exit` throws an internal uncatchable Exception. 
> Quoting from the RFC:

Thanks, I had overlooked that. I have no other concerns.

Regards,

Saki

Reply via email to