/[mldonkey]/mldonkey/src/networks/donkey/donkeyOptions.ml
ViewVC logotype

Diff of /mldonkey/src/networks/donkey/donkeyOptions.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.26 by spiralvoice, Mon Jun 20 18:58:31 2005 UTC revision 1.27 by spiralvoice, Thu Jul 14 14:05:25 2005 UTC
# Line 104  let update_server_list_server = define_o Line 104  let update_server_list_server = define_o
104      ["update_server_list_server"] "Set this option to false if you don't want to      ["update_server_list_server"] "Set this option to false if you don't want to
105      receive new servers from servers" bool_option true      receive new servers from servers" bool_option true
106    
107    let update_server_list_server_met = define_option donkey_section
108        ["update_server_list_server_met"] "Set this option to false if you don't want to
109        receive new servers from server.met" bool_option true
110    
111  let update_server_list_client = define_option donkey_section  let update_server_list_client = define_option donkey_section
112      ["update_server_list_client"] "Set this option to false if you don't want to      ["update_server_list_client"] "Set this option to false if you don't want to
113      receive new servers from clients" bool_option false      receive new servers from clients" bool_option false
# Line 112  let keep_best_server = define_expert_opt Line 116  let keep_best_server = define_expert_opt
116      ["keep_best_server"] "Set this option to false if you don't want mldonkey      ["keep_best_server"] "Set this option to false if you don't want mldonkey
117      to change the master servers it is connected to" bool_option true      to change the master servers it is connected to" bool_option true
118    
119    let connect_only_preferred_server = define_expert_option donkey_section
120      ["connect_only_preferred_server"]
121      "only servers which are set to 'preferred' will be connected"
122      bool_option false
123    
124  let max_walker_servers = define_expert_option donkey_section  let max_walker_servers = define_expert_option donkey_section
125      ["max_walker_servers"] "Number of servers that can be used to walk      ["max_walker_servers"] "Number of servers that can be used to walk
126  between servers" int_option 1  between servers" int_option 1
# Line 307  let gui_donkey_options_panel = Line 316  let gui_donkey_options_panel =
316      "Maximal Server Age", shortname max_server_age, "T";      "Maximal Server Age", shortname max_server_age, "T";
317      "Min Left Servers After Clean", shortname min_left_servers, "T";      "Min Left Servers After Clean", shortname min_left_servers, "T";
318      "Update Server List Server", shortname update_server_list_server, "B";      "Update Server List Server", shortname update_server_list_server, "B";
319        "Update Server List Server.met", shortname update_server_list_server_met, "B";
320      "Update Server List Client", shortname update_server_list_client, "B";      "Update Server List Client", shortname update_server_list_client, "B";
321      "Servers Walking Period", shortname servers_walking_period, "T";      "Servers Walking Period", shortname servers_walking_period, "T";
322      "Force High ID", shortname force_high_id, "B";      "Force High ID", shortname force_high_id, "B";

Legend:
Removed from v.1.26  
changed lines
  Added in v.1.27

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26