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?