



|
Manuel PHP
|
|
Table : .assert options.assert .dl .extension loaded .get cfg var .get current user .get defined constants .get extension funcs .get include path .get included files .get loaded extensions .get magic quotes gpc .get magic quotes runtime .get required files .get included files() .getenv .getlastmod .getmygid .getmyinode .getmypid .getmyuid .getopt .getrusage .ini alter .ini set() .ini get all .ini get .ini restore .ini set .main .memory get peak usage .memory get usage .php ini scanned files .php logo guid .php sapi name .php uname .phpcredits .phpinfo .phpversion .putenv .restore include path .set include path .set magic quotes runtime .set time limit .sys get temp dir .version compare .zend logo guid .zend version |
set_time_limitset_time_limitDescriptionvoid set_time_limit ( int seconds )set_time_limit() fixe le délai d'expiration d'un script, en secondes. Si cette limite est atteinte, le script s'interrompt, et renvoie une erreur fatale. La valeur par défaut est 30 secondes ou, si c'est le cas, la valeur de la directive max_execution_time définie dans le php.ini. Si la valeur est zéro, il n'y a alors aucune limite imposée. Lorsqu'elle est appelée, set_time_limit() remet le compteur à zéro. En d'autres termes, si la limite par défaut est à 30 secondes, et qu'après 25 secondes d'exécution du script l'appel set_time_limit(20) est fait, alors le script tournera pendant un total de 45 secondes avant de finir.
Voir aussi les directives max_execution_time et max_input_time.
|

