87 |
|
|
88 |
|
|
89 |
let load_server_met filename = |
let load_server_met filename = |
90 |
|
if !!update_server_list_server then |
91 |
try |
try |
92 |
let module S = DonkeyImport.Server in |
let module S = DonkeyImport.Server in |
93 |
let s = File.to_string filename in |
let s = File.to_string filename in |
110 |
lprintf "Exception %s while loading %s\n" (Printexc2.to_string e) |
lprintf "Exception %s while loading %s\n" (Printexc2.to_string e) |
111 |
filename; |
filename; |
112 |
0 |
0 |
113 |
|
else 0 |
114 |
|
|
115 |
let already_done = Failure "File already downloaded (use 'force_download' if necessary)" |
let already_done = Failure "File already downloaded (use 'force_download' if necessary)" |
116 |
|
|