Riguardo al mio problema: ho scoperto che il refresh nella pagina php viene eseguito dopo che la pagina è stata completamente caricata, e non dopo i 10 secondi dal richiamo della pagina (cioè, se la pagina impiega 1 minuto per caricarsi, il refresh avverrà dopo 1 minuto e 10 secondi e non dopo 10" dal momento in cui ho richiamato quella pagina...)
Io invece ho bisogno di un refresh fisso a 10" dal richiamo della pagina, indipendentemente se nel frattempo ha caricato qualcosa o no. Come fare?