function save_settings()
{
    global $wb;
    wb_set_text($wb->statusbar, "Saving configuration...");
    // Get values
    save_window_geom($wb->mainwin, "main", true);
    // Get various settings
    foreach ($wb->options_array as $var) {
        $var = strtolower($var);
        if ($wb->{$var} === '') {
            $wb->settings["Settings"][$var] = '';
        } elseif (preg_match("/[\\d\\.\\,]+/", $wb->{$var})) {
            $wb->settings["Settings"][$var] = (int) $wb->{$var};
        } else {
            $wb->settings["Settings"][$var] = $wb->{$var};
        }
    }
    // Save options to INI file
    $contents = generate_ini($wb->settings, "; Make Release INI file\r\n");
    if ($contents) {
        file_put_contents(SYS_INIFILE, $contents);
        wb_set_text($wb->statusbar, "Configuration saved.");
    } else {
        wb_message_box($wb->mainwin, "Problem saving file " . SYS_INIFILE);
    }
}
示例#2
0
function main($server_cfg)
{
    generate_ini($server_cfg);
}