(unknown)
void exit (mixed status)
void exit
The exit() function terminates execution of the script. It has no return value, but will use status as its exit status.
See also die().