[Summary view] [Print] [Text view]

   1  <?php
   2  session_start();
   3  
   4  if (isset($_SESSION['valid_user'])) {unset($_SESSION['valid_user']);}
   5  if (isset($_SESSION['valid_reports_user'])) {unset($_SESSION['valid_reports_user']);}
   6  if (isset($_SESSION['time_admin_valid_user'])) {unset($_SESSION['time_admin_valid_user']);}
   7  
   8  session_destroy();
   9  
  10  echo "<script type='text/javascript' language='javascript'> window.location.href = 'index.php';</script>";
  11  ?>