27 Jan
2010
27 Jan
'10
4:43 a.m.
Hello Volker, Wednesday, January 27, 2010, 8:19:44 AM, you wrote:
exitWith throws the ExitCode when it is called. This leads to the shutdown of the program, if it isn't caught. Just like ExitException.
This isn't documented.
i've googled for "exitWith throws the ExitCode" and it pointed me to the exitWith docs: "Computation exitWith code throws ExitException code." -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com