Código PHP:
if($fila[4]=="profesor"){
echo "<meta http-equiv='Refresh' content='0.5 ;URL=main_profesor.php '>";
}
else
{
echo "<meta http-equiv='Refresh' content='0.5 ;URL=main_alumno.php '>";
}
Asegúrate de que los meta se imprimen entre <head> y </head>.
Un saludo,
Banyú.