From ade42da280750575989a5cef5b144dc1f54c46b1 Mon Sep 17 00:00:00 2001
From: humano <humano@alien.cubil>
Date: Sun, 21 Oct 2018 12:57:41 -0500
Subject: [PATCH] manejo de tiempo de session

---
 salir.php | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 salir.php

diff --git a/salir.php b/salir.php
new file mode 100644
index 0000000..0935b77
--- /dev/null
+++ b/salir.php
@@ -0,0 +1,6 @@
+<?php    if(!isset($_SESSION))    {        if(!isset($_SESSION))    {     session_start();     }      } 
+
+session_destroy();
+$pagina=$_SERVER['HTTP_REFERER'];
+ header("Location:./index.php");
+?>