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

[mldonkey-commits]

Index: mldonkey/src/networks/donkey/donkeyInteractive.ml
diff -u mldonkey/src/networks/donkey/donkeyInteractive.ml:1.53 
mldonkey/src/networks/donkey/donkeyInteractive.ml:1.54
--- mldonkey/src/networks/donkey/donkeyInteractive.ml:1.53      Thu Jul 14 
14:00:20 2005
+++ mldonkey/src/networks/donkey/donkeyInteractive.ml   Thu Jul 14 14:05:25 2005
@@ -87,7 +87,7 @@
 
 
 let load_server_met filename =
-  if !!update_server_list_server then
+  if !!update_server_list_server_met then
   try
     let module S = DonkeyImport.Server in
     let s = File.to_string filename in