Meins

/// starting the session

setcookie('cookie_name',
          'cookie_name',
          time() + $session_length * 60);

session_name('session_cookie_name');
session_start();
$_SESSION['user_id'] = $some_id;

/// ending the session

session_name('session_cookie_name');
session_start();
$_SESSION = array();
setcookie('session_cookie_name',
          'session_cookie_name',
          time() - 36000);
setcookie('cookie_name',
          'cookie_name',
          time() - 36000);
@session_destroy();