get_Passwd()) {
require('confmain.php');
exit;
}
// check new preferences
if (chop($host) == "") {
echo _("" . _("Hostname is empty!") . "");
exit;
}
if (chop($port) == "") {
echo _("" . _("Portnumber is empty!") . "");
exit;
}
if (chop($admins) == "") {
echo _("" . _("List of admin users is empty!") . "");
exit;
}
// set new preferences
$conf->set_Host($host);
$conf->set_Port($port);
$conf->set_Adminstring($admins);
if ($ssl == "on") $conf->set_SSL("True");
else $conf->set_SSL("False");
// check if password was changed
if ($pass1 != $pass2) {
echo _("" . _("Passwords are different!") . "");
exit;
}
if ($pass1 != "") {
$conf->set_Passwd($pass1);
echo ("" . _("Password changed!") . "
");
}
// save settings
echo ("" . _("Saving the following settings:") . "
");
$conf->printconf();
if ($conf->save()) echo ("
" . _("Failed!") . "");
else echo ("
" . _("Successfully saved!") . "");
?>