l'ideale sarebbe richiamare ob_end_flush(); ma fino ad ora anche senza metter niente non ho mai avuto problemi, però se si possono fare le cose in regolare, è meglio farlo ...