Hello
 
J'ai un gros script qui fait pas mal de regex et d'autres bêtises, et parfois il peut prendre un peu (voir beaucoup) de temps. Dans le cas où ça prends vraiment trop de temps, je veux en arrêter l'exécution.
 
Je ne sais pas trop comment contrôler tout ça, mais quels sont les possibilités ?
 
Merciiiiiiii

Avec la fonction microtime que tu execute avant et aprés la zone de script que tu veux tester tu peux avoir le temps écoulé.
 
la doc qui va  bien (facile à faire avec les exemples présentés dedans) :
http://fr2.php.net/manual/fr/function.microtime.php

Le problème c'est que je dois le savoir en temps réel ! Par exemple il va chercher des informations, et parfois le site en question est down, mais PHP reste en attente de recevoir les informations (avec un fopen sur l'URL), et je veux stopper son exécution...

si tu veux savoir ou en est ton script PHP avant la fin de l'execution tu peux lui faire indiquer dans un fichier texte les étapes qu'il a parcouru.
 
régulierement tu fait un truc du genre :
$f = fopen('tracker.txt','a');
fwrite($f, "Etape 2 OK ".microtime()."\\\n" );
fclose($f);

Le problème c'est qu'il bloque sur un fgets...qui n'arrive jamais!

http://fr.php.net/set_time_limit
non ?

ça veux dire quoi "qui n'arrive jamais" ?
c'est une page web que tu lis ?

Ouais je lis une page web, mais parfois le serveur est off, du coup... php attends via fgets et ça n'arrive jamais ! J'aurais voulu limiter ce temps à 1 ou 2 secondes un truc du genre, pour pas que ça attende les 30s par défaut du php.ini ... enfin je veux définir une limite seulement pour cette partie du script, je veux pas modifier mon php.ini, car j'ai d'autres scripts qui prennent plus de temps

http://fr.php.net/stream_set_timeout alors ?

 
Ok pigé, tiens c'est déjà fait    :
http://www.nexen.net/docs/php/anno [...] imeout.php

C'est super ça !!! Merci beaucoup