session_start();
if($_SERVER['REQUEST_METHOD'] == 'POST')
{
include_once("libphp/constants.php");
$usuario =$_POST['dni'];
$contra = $_POST['password'];
//echo "dni: ".$_POST["dni"].", conia: ".$_POST["password"].".
";
$consulta = "SELECT Nombre, Apellidos, DNI, Alumnos.IdAlumno, contrasena, email, movil1, movil2, telefonoFijo, direccion, codPostal, Ciudad, Estudios, Centro, formacionC99, matriculado, fechafirma, ipfirma, no_mailing FROM Alumnos where DNI='".$usuario."' and contrasena='".$contra."'";
//echo $consulta;
$resultado = mysql_query($consulta,$conexion);
$fila= mysql_fetch_row($resultado);//no quitar, se usa fila[0] como nombre y tal
$total = mysql_num_rows($resultado);
if($total == 1)
{
$arrlength=count($fila);
$_SESSION['filaalu']=$fila;
//echo $_SESSION['filaalu'][0]." y ".$_SESSION['filaalu'][1];
header("location: menu.php");
}
else
{
//unset($_SESSION['filaalu']);
echo "