Php ha una funzione "setInterval"

[ricman]

Ho un file php che mi genera un file di testo. Come dati prende le ultime 100 righe di un db. In pratica è una Select con echo"$dati_vari_presi_dal_db" e il giusto Header affinche venga interpretato con l'estensione giusta anzichè php.

E fin qui funziona.

Ora vorrei far si che ogni 10sec questo file di testo si aggiorni senza refreshare la pagina che lo include.
Credo che potrebbe bastare inserire la select e l'output in una funzione che si ripete ogni 10sec ... o no?
E se Si, come?
Altrimenti?

[bstefano79]

mi sa che devi usare le chiamate asincrone se non vuoi il refresh della pagina

[aleritty]

Eh si, ma non è difficile, usando javascript fai una funzione che si ripete ogni 10 secondi e va ad interrogare un file che restituisce i risultati da aggiungere al DIV che utilizzi oppure in coda a tutto!

[ricman]

Il file è un .php con l'header di un .csv
Dentro ci deve stare solo roba csv.

Se metto del js che succede?

[bstefano79]

guardati questa guida di AJAX (Asynchronous JAvascript and Xml)
http://javascript.html.it/guide/leggi/95/guida-ajax/

[ricman]

Volete dire che php non ha una funzione equivalente a setInterval()?
Prima di leggermi l'intera guida di ajax volevo assicurarmi di "non perdere tempo"... cioè sapere se il mio php (travestito da .csv) resti effettivamente pulito (valore1, valore2, valore3 ... e basta, senza intestazioni js)

[bstefano79]

Originariamente inviato da ricman
Volete dire che php non ha una funzione equivalente a setInterval()?

di che linguaggio stiamo parlando quando ti riferisci alla funzione setInterval???