cas_hostname)) { $config->cas_hostname = ""; } if (!isset ($config->cas_port)) { $config->cas_port = ""; } if (!isset ($config->cas_version)) { $config->cas_version = ""; } if (!isset ($config->cas_baseuri)) { $config->cas_baseuri = ""; } if (!isset ($config->cas_language)) { $config->cas_language = ""; } if (!isset ($config->cas_use_cas)) { $config->cas_use_cas = ""; } if (!isset ($config->cas_create_user)) { $config->cas_create_user = "0"; } ?>