1356 |
match args with |
match args with |
1357 |
["options"] -> DriverInteractive.save_config (); _s "options saved" |
["options"] -> DriverInteractive.save_config (); _s "options saved" |
1358 |
| ["sources"] -> CommonComplexOptions.save_sources (); _s "sources saved" |
| ["sources"] -> CommonComplexOptions.save_sources (); _s "sources saved" |
1359 |
|
| ["backup"] -> CommonComplexOptions.backup_options (); _s "backup saved" |
1360 |
|
| ["all"] -> |
1361 |
|
DriverInteractive.save_config (); |
1362 |
|
CommonComplexOptions.save_sources (); |
1363 |
|
CommonComplexOptions.backup_options (); |
1364 |
|
_s "options, sources and backup saved" |
1365 |
| _ -> DriverInteractive.save_config (); |
| _ -> DriverInteractive.save_config (); |
1366 |
CommonComplexOptions.save_sources (); _s "options and sources saved" |
CommonComplexOptions.save_sources (); _s "options and sources saved" |
1367 |
), "<options|sources|(empty for all)>:\t\tsave options and/or sources"; |
), "<options|sources|backup (empty for options + sources)>:\t\tsave options and/or sources or backup"; |
1368 |
|
|
1369 |
"vo", Arg_none (fun o -> |
"vo", Arg_none (fun o -> |
1370 |
let buf = o.conn_buf in |
let buf = o.conn_buf in |
1678 |
strings_of_option max_client_name_len; |
strings_of_option max_client_name_len; |
1679 |
strings_of_option emule_mods_count; |
strings_of_option emule_mods_count; |
1680 |
strings_of_option emule_mods_showall; |
strings_of_option emule_mods_showall; |
1681 |
|
strings_of_option backup_options_format; |
1682 |
|
strings_of_option backup_options_delay; |
1683 |
|
strings_of_option backup_options_generations; |
1684 |
strings_of_option chat_app_port; |
strings_of_option chat_app_port; |
1685 |
strings_of_option chat_app_host; |
strings_of_option chat_app_host; |
1686 |
strings_of_option chat_console_id; |
strings_of_option chat_console_id; |