# __include if (function_exists ('ini_set')) { //Use cookies to store the session ID on the client side @ ini_set ('session.use_only_cookies', 1); //Disable transparent Session ID support @ ini_set ('session.use_trans_sid', 0); } $cookie_path = "/"; $cookie_timeout = 7200; $garbage_timeout = $cookie_timeout + 100; session_set_cookie_params($cookie_timeout, $cookie_path); ini_set('session.gc_maxlifetime', $garbage_timeout); ini_set('session.gc_probability',1); ini_set('session.gc_divisor',1000); /* determine separator */ /* did not work as of 23.09.09 */ // strstr(strtoupper(substr($_SERVER["OS"], 0, 3)), "WIN") ? $sep = "\\" : $sep = "/"; substr(PHP_OS,0,3) == 'WIN' ? $sep = "\\" : $sep = "/"; $sessdir = ini_get('session.save_path').$sep; session_start(); ?>