Changed codebase to PHP5 with autoloader + added some new classes from the ...

thomascube

2008-04-12 47124c2279382714afd8dbe4a867a867ea179199

 program/include/session.inc

@@ -172,9 +172,13 @@
  sess_destroy(session_id());

  session_id($random);
  $cookie = session_get_cookie_params();
  setcookie(session_name(), "", time() -3600);
  setcookie(session_name(), $random, $cookie['lifetime'], $cookie['path']);

  $cookie    = session_get_cookie_params();
  $_lifetime = $cookie['lifetime'] ? time() + $cookie['lifetime'] : 0;

  setcookie(session_name(), '', time() - 3600);
  setcookie(session_name(), $random, $_lifetime, $cookie['path'],
    $cookie['domain']);

  return true;
  }