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
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