Perdona mi insolencia pero este cacho no lo entiendo
$rs_pro = mysql_fetch_assoc($pro);
$_SESSION['autorizado'] = 'si';
$_SESSION['carfo'] = 'alumno';
$_SESSION['ide'] = $rs_pro['ide_alu'];
esto creo que es para que un usuario no pueda entrar sin estar logeado a modo de seguridad
$_SESSION['autorizado'] = 'si';
pero el resto no lo entiendo
y perdona otra vez por que aqui pides el numero de filas
$num_rs_alu = mysql_num_rows($alu);
no pillo na
