src/networks/donkey/donkeyServers.mli

   1 (* Copyright 2001, 2002 b8_bavard, b8_fee_carabine, INRIA *)
   2 (*
   3     This file is part of mldonkey.
   4
   5     mldonkey is free software; you can redistribute it and/or modify
   6     it under the terms of the GNU General Public License as published by
   7     the Free Software Foundation; either version 2 of the License, or
   8     (at your option) any later version.
   9
  10     mldonkey is distributed in the hope that it will be useful,
  11     but WITHOUT ANY WARRANTY; without even the implied warranty of
  12     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13     GNU General Public License for more details.
  14
  15     You should have received a copy of the GNU General Public License
  16     along with mldonkey; if not, write to the Free Software
  17     Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  18 *)
  19
  20 val force_check_server_connections : bool -> unit
  21 val check_server_connections : unit -> unit
  22 val connect_server : DonkeyTypes.server -> unit
  23 val disconnect_server : DonkeyTypes.server -> BasicSocket.close_reason -> unit
  24 val remove_old_servers : unit -> unit
  25
  26 val update_master_servers : unit-> unit
  27 val walker_timer : unit -> unit
  28 val udp_walker_timer : unit -> unit
  29
  30 val query_locations_timer : unit -> unit
  31 val add_query_location : DonkeyTypes.file -> DonkeyTypes.server -> unit
  32 val udp_query_sources : unit -> unit
  33 val check_for_preferred_servers : unit -> unit