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

[mldonkey-commits]

Index: mldonkey/src/networks/donkey/donkeyComplexOptions.ml
diff -u mldonkey/src/networks/donkey/donkeyComplexOptions.ml:1.27 
mldonkey/src/networks/donkey/donkeyComplexOptions.ml:1.28
--- mldonkey/src/networks/donkey/donkeyComplexOptions.ml:1.27   Tue May 17 
13:18:05 2005
+++ mldonkey/src/networks/donkey/donkeyComplexOptions.ml        Mon Jun 20 
18:58:31 2005
@@ -605,15 +605,13 @@
       s        
       
 let check_add_server ip port =
-  if !!update_server_list &&
-    Ip.valid ip && Ip.reachable ip &&
+  if Ip.valid ip && Ip.reachable ip &&
     not (is_black_address ip port) && port <> 4662 then
     force_add_server ip port
   else raise Not_found
 
 let safe_add_server ip port =
-  if !!update_server_list &&
-    Ip.valid ip && Ip.reachable ip &&
+  if Ip.valid ip && Ip.reachable ip &&
     not (is_black_address ip port) && port <> 4662 then
     try
       ignore (DonkeyGlobals.find_server ip port)