Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.7">

exit

(PHP 3, PHP 4 )

exit -- Beenden des aktuellen Skripts

Beschreibung:

void exit ( void)

Mit exit() beenden sie - ohne Möglichkeit der Rückkehr - die Skriptausführung.

Beachten sie auch die Funktion die().