Restaurar página tras cierre de sesión

El código permite volver a la página en la que nos encontrábamos tras
un cierre de sesión al expirar la misma. Al iniciar de nuevo la sesión
volveremos a la página en la que nos encontrábamos sin pasar por
index0.php.