History of ExitCode

2008-11-26
12:30 UTC Revision 1 . . . . pgasNormally, the `exit' command exits with a value of zero. You can supply an optional numeric value to the `exit' command to make it exit with a . . .