22 |
val connect_server : DonkeyTypes.server -> unit |
val connect_server : DonkeyTypes.server -> unit |
23 |
val disconnect_server : DonkeyTypes.server -> BasicSocket.close_reason -> unit |
val disconnect_server : DonkeyTypes.server -> BasicSocket.close_reason -> unit |
24 |
val remove_old_servers : unit -> unit |
val remove_old_servers : unit -> unit |
25 |
|
|
26 |
val update_master_servers : unit-> unit |
val update_master_servers : unit-> unit |
27 |
val walker_timer : unit -> unit |
val walker_timer : unit -> unit |
28 |
val udp_walker_timer : unit -> unit |
val udp_walker_timer : unit -> unit |
29 |
|
|
30 |
val query_locations_timer : unit -> unit |
val query_locations_timer : unit -> unit |
31 |
val add_query_location : DonkeyTypes.file -> DonkeyTypes.server -> unit |
val add_query_location : DonkeyTypes.file -> DonkeyTypes.server -> unit |
32 |
val udp_query_sources : unit -> unit |
val udp_query_sources : unit -> unit |
|
|
|