Manual de PHP
AnteriorSiguiente

exit

(unknown)

exit -- Finaliza el script actual

Descripción

void exit(void);

Esta construcción del lenguaje finaliza la ejecución del script. No devuelve nada.

AnteriorInicioSiguiente
evalSubirget_browser