SESSION_TYPE_NONE
if (options.session_type == SESSION_TYPE_NONE &&
if (options.control_persist || options.session_type == SESSION_TYPE_NONE) {
{ "none", SESSION_TYPE_NONE },
else if (options->session_type == SESSION_TYPE_NONE)
options.session_type != SESSION_TYPE_NONE)
options.session_type = SESSION_TYPE_NONE;
options.session_type != SESSION_TYPE_NONE)
options.session_type == SESSION_TYPE_NONE)
if (options.session_type != SESSION_TYPE_NONE)
options.session_type = SESSION_TYPE_NONE;
if ((osession_type != SESSION_TYPE_NONE ||
if (options.session_type != SESSION_TYPE_NONE)
options.session_type = SESSION_TYPE_NONE;