thomascube
2007-11-19 3b7a5fbaa495d29e2dc9e467453a59867160f9a8
Correctly set session cookie lifetime if not 0

1 files modified
4 ■■■■ changed files
program/include/session.inc 4 ●●●● patch | view | raw | blame | history
program/include/session.inc
@@ -173,8 +173,8 @@
  session_id($random);
  $cookie = session_get_cookie_params();
  setcookie(session_name(), "", time() -3600);
  setcookie(session_name(), $random, $cookie['lifetime'], $cookie['path']);
  setcookie(session_name(), "", time() - 3600);
  setcookie(session_name(), $random, $cookie['lifetime'] ? time() + $cookie['lifetime'] : 0, $cookie['path']);
  return true;
  }