605 |
s |
s |
606 |
|
|
607 |
let check_add_server ip port = |
let check_add_server ip port = |
608 |
if !!update_server_list && |
if Ip.valid ip && Ip.reachable ip && |
|
Ip.valid ip && Ip.reachable ip && |
|
609 |
not (is_black_address ip port) && port <> 4662 then |
not (is_black_address ip port) && port <> 4662 then |
610 |
force_add_server ip port |
force_add_server ip port |
611 |
else raise Not_found |
else raise Not_found |
612 |
|
|
613 |
let safe_add_server ip port = |
let safe_add_server ip port = |
614 |
if !!update_server_list && |
if Ip.valid ip && Ip.reachable ip && |
|
Ip.valid ip && Ip.reachable ip && |
|
615 |
not (is_black_address ip port) && port <> 4662 then |
not (is_black_address ip port) && port <> 4662 then |
616 |
try |
try |
617 |
ignore (DonkeyGlobals.find_server ip port) |
ignore (DonkeyGlobals.find_server ip port) |