[Mldonkey-commits] Changes to mldonkey/src/networks/donkey/donkeyOptions.ml

[mldonkey-commits]

Index: mldonkey/src/networks/donkey/donkeyOptions.ml
diff -u mldonkey/src/networks/donkey/donkeyOptions.ml:1.32 
mldonkey/src/networks/donkey/donkeyOptions.ml:1.33
--- mldonkey/src/networks/donkey/donkeyOptions.ml:1.32  Thu Oct  6 14:03:05 2005
+++ mldonkey/src/networks/donkey/donkeyOptions.ml       Sat Nov  5 16:23:40 2005
@@ -148,7 +148,7 @@
 
 let max_sources_per_file = define_option donkey_section 
["max_sources_per_file"]
     "Maximal number of sources for each file"
-    int_option 20000
+    int_option 5000
 
 open Md4
 
@@ -311,6 +311,10 @@
 let become_master_delay =
   define_expert_option donkey_section ["become_master_delay"]
     "(only for development tests)" int_option 120
+
+let options_version = define_expert_option donkey_section ["options_version"]
+    "(internal option)"
+    int_option 0
 
 let gui_donkey_options_panel =
   [