 |
| |
Options PHP et informations
assert
assert-options
extension_loaded
dl
getenv
get_cfg_var
get_current_user
get_magic_quotes_gpc
get_magic_quotes_runtime
getlastmod
getmyinode
getmypid
getmyuid
getrusage
ini_alter
ini_get
ini_restore
ini_set
phpcredits
phpinfo
phpversion
php_logo_guid
php_sapi_name
php_uname
putenv
set_magic_quotes_runtime
set_time_limit
zend_logo_guid
get_defined_constants
get_loaded_extensions
get_extension_funcs
get_required_files
get_included_files
zend_version
|
Fixe le temps maximum d'exécution d'un script
void 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
fichier de configuration.
Si la valeur est zéro, il n'y a alors aucune limite imposée.
Lorsqu'elle est appelée, la fonction
set_time_limit() remet le compteur
de 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.
Notez que set_time_limit() n'a pas
d'effet lorsque PHP fonctionne en mode safe mode. Il
n'y a pas d'autre solution que de changer de
mode, ou de modifier la durée maximale
d'exécution dans le fichier de configuration.
|
|
|
|
