Timer en PHP

Salut à tous,

j'ai pas mal cherché sur php.net et sur le forum et il semble qu'il nb'existe pas de timer en php. En fait, j'ai créé un fichier php qui récupere les données sur une page et qui met à jour un fichier. Le probleme, c'est que j'aimerais bien le script s'execute toutes les 10 minutes par exemple... Est ce possible de le faire?

Si oui est ce que php fournit les outils nécessaire?

Merci!

Seb

Je pense que tu pourrais utiliser du js dans ton php ca poserait pas de problème et juste un

Code:

---

setTimeout("function",1000);

---

Devrait suffir ...

faut savoir que 1000 -> 1s
donc si je me trompe pas 10min -> 600000

Le probleme c'est ce que je connais pas encore le javascript...
Est ce qu'inclure un grosse partout de code php dans une fonction javascript est facile à réaliser?

ben oui assez par exemple tu peux faire un truc comme ceci :

Code:

---

1 2 3 4 5

<? echo "<script language='javascript'>setTimeOut('function',val);</script>";   ?>

---