session time out

//set garbage collection time out$garbage_timeout = 14400; // 14400 seconds = 240 minutes = 4 hoursini_set('session.gc_maxlifetime', $garbage_timeout);//set new session directorystrstr(strtoupper(substr($_SERVER["OS"], 0, 3)), "WIN") ? 	$sep = "\\" : $sep = "/";$sessdir = ini_get('session.save_path').$sep."my_sessions";if (!is_dir($sessdir)) { mkdir($sessdir, 0777); }ini_set('session.save_path', $sessdir);