(unknown)
void exit (string message)
void exit
The exit() function terminates execution of the script. It has no return value, but will echo message to STDOUT. (i.e. the browser)
See also die().
