From 3373ee1dd17019a91f63696fdfc00277dd6ad88a Mon Sep 17 00:00:00 2001
From: humano <humano@alien.cubil>
Date: Sun, 21 Oct 2018 13:09:37 -0500
Subject: [PATCH] manejo de tiempo de session

---
 index.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/index.php b/index.php
index 96c07da..dbc315d 100644
--- a/index.php
+++ b/index.php
@@ -312,11 +312,12 @@ $(document).ready(function() {
 });
 
     </script> 
+    <?php if(isset($_SESSION['id'])){ echo "
     <form name='form_session' class='navbar-form navbar-left'> 
 					<div class='input-group'>
 						<input type='text' name='tiempo_session' size='30' class='form-control input-sm' readonly> 
-						<span class='input-group-addon'><a href='#' onclick="location.reload();" title='Renovar'>Reload</a></span>
+						<span class='input-group-addon'><a href='#' onclick=\"location.reload();\" title='Renovar'>Reload</a></span>
 					</div>
-				</form><?php echo $_SESSION['timestamp']; ?>
+				</form> ";  } ?>
 </body>
 </html>