}
}
// offer the current semester as a default in the config:
if (is_object($config->get_entry("STEAM_CURRENT_SEMESTER"))) {
$current_semester = "";
if ((int) date("m") < 7) {
// next summer semester
$current_semester = "SS" . date("y");
} else {
// next winter semester
$current_semester = "WS" . date("y") . date("y", time() + 356 * 24 * 60 * 60);
}
$config->get_entry("STEAM_CURRENT_SEMESTER")->set_default_answer($current_semester);
}
// ask user for config values:
$config->ask();
$path_koala = $config->get_entry("PATH_KOALA")->get_answer();
if (is_string($path_koala)) {
$path_koala = rtrim($path_koala, "/") . "/";
$config->get_entry("PATH_KOALA")->set_answer($path_koala);
}
$path_server = $config->get_entry("PATH_SERVER")->get_answer();
if (is_string($path_server)) {
$path_server = rtrim($path_server, "/");
$config->get_entry("PATH_SERVER")->set_answer($path_server);
}
$undocumented_configs = array();
// ignore unspecified settings that are installation-specific:
$ignore_unspecified = array("STEAM_FACULTIES_GROUP", "STEAM_COURSES_GROUP", "STEAM_PUBLIC_GROUP", "STEAM_PRIVATE_GROUP");
foreach ($config->get_undocumented_entries() as $entry) {
if (in_array($entry->get_config_key(), $ignore_unspecified)) {
