226 |
match p.UdpSocket.udp_addr with |
match p.UdpSocket.udp_addr with |
227 |
| Unix.ADDR_INET(ip, port) -> |
| Unix.ADDR_INET(ip, port) -> |
228 |
let ip = Ip.of_inet_addr ip in |
let ip = Ip.of_inet_addr ip in |
229 |
if !!update_server_list then |
if !!update_server_list_server then |
230 |
let s = check_add_server ip (port-4) in |
let s = check_add_server ip (port-4) in |
231 |
(* set last_conn, but add a 2 minutes offset to prevent |
(* set last_conn, but add a 2 minutes offset to prevent |
232 |
staying connected to this server *) |
staying connected to this server *) |