thomascube
2007-08-10 31d9efd97d9da09605d4329457ee218cba48f82f
program/include/main.inc
@@ -234,10 +234,7 @@
  // check session filetime
  if (!empty($CONFIG['session_lifetime']) && isset($SESS_CHANGED) && $SESS_CHANGED + $CONFIG['session_lifetime']*60 < time())
    $valid = false;
  if (!$valid)
    write_log('timeouts', $_SESSION + array('SESS_CLIENT_IP' => $SESS_CLIENT_IP, 'SESS_CHANGED' => $SESS_CHANGED, 'COOKIE' => $_COOKIE));
  return $valid;
  }