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