manejo de tiempo de session

2018-10-21 12:57:41 -05:00 · 2018-10-21 12:57:41 -05:00 · ade42da280
commit ade42da280
parent 513c482c61
1 changed files with 6 additions and 0 deletions
--- a/salir.php
+++ 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");
+?>