From ca568d38db3eba5b53e220f9b12014e9d0b1e45f Mon Sep 17 00:00:00 2001 From: humano Date: Sun, 21 Oct 2018 13:09:27 -0500 Subject: [PATCH] manejo de tiempo de session --- index.php | 21 ++++++++++++--------- 1 file changed, 12 insertions(+), 9 deletions(-) diff --git a/index.php b/index.php index d4100c2..49d78e1 100644 --- a/index.php +++ b/index.php @@ -1140,7 +1140,16 @@ $panel_aplicaciones = panel_aplicaciones('1',"",""); ;} - + if(isset($_SESSION['id'])){ + $form_tiempo_session = " +
  • + +
  • "; } else{ $form_tiempo_session = "";} if($tema=="") { $barra=" @@ -1173,14 +1182,7 @@ $panel_aplicaciones = panel_aplicaciones('1',"",""); ".aplicaciones_listado("$id_empresa",'','nav','')." -
  • - -
  • + $form_tiempo_session