Correctly set session cookie lifetime if not 0

thomascube

2007-11-19 3b7a5fbaa495d29e2dc9e467453a59867160f9a8

Correctly set session cookie lifetime if not 0

 program/include/session.inc

@@ -174,7 +174,7 @@
  session_id($random);
  $cookie = session_get_cookie_params();
  setcookie(session_name(), "", time() -3600);
  setcookie(session_name(), $random, $cookie['lifetime'], $cookie['path']);
  setcookie(session_name(), $random, $cookie['lifetime'] ? time() + $cookie['lifetime'] : 0, $cookie['path']);

  return true;
  }