start_jump_session($hostid, $wantsurl); if (empty($url)) { error('DEBUG: Jump session was not started correctly or blank URL returned.'); // TODO: errors } redirect($url); ?>