Parent Directory | Revision Log | Patch
revision 1.19 by spiralvoice, Sat Sep 17 17:50:38 2005 UTC | revision 1.20 by spiralvoice, Sat Sep 17 17:59:47 2005 UTC | |
---|---|---|
# | Line 204 end removed by savannah patch #3616 | Line 204 end removed by savannah patch #3616 |
204 | ||
205 | let add_user_friend s u = | let add_user_friend s u = |
206 | let kind = | let kind = |
207 | if Ip.valid u.user_ip && ip_reachable u.user_ip then | if Ip.usable u.user_ip then |
208 | Direct_address (u.user_ip, u.user_port) | Direct_address (u.user_ip, u.user_port) |
209 | else | else |
210 | begin | begin |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |