<?php
    $user = $_POST['user']; //así esta nombrado en el formulario
    $pass = $_POST['pass']; //así esta nombrado en el formulario

    if (empty($user) || empty($pass)) {
        header("location: inicio_sesion.php");
        exit();
    }

    mysql_connect('localhost','root','liz2125') or die ("Error al conectar" .mysql_error());
    mysql_select_db('gesyagro') or die ("Error al seleccionar la base de datos ".mysql_error());

    $result = mysql_query("SELECT * FROM documentacion_usuario WHERE DocUsuario ='" .$user. "'");

    if ($row = mysql_fetch_array($result)) {
        if ($row['pass'] == $pass) {
            session_start();
            $_SESSION['user'] = $user;
            header("location: contenido.php");
                }else{
                    header("location: inicio_sesion.php");
                    exit();
                }
            }else{
            header("location: inicio_sesion.php");


exit();
    }

?>