src/gtk/newgui/gui_com.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 type gui = <
  21   clear : unit;
  22   set_connect_status : string -> unit;
  23     >
  24
  25 val disconnect : gui -> BasicSocket.close_reason -> unit
  26 val send : GuiProto.from_gui -> unit
  27 val reconnect : gui ->
  28     ('a -> GuiProto.to_gui -> unit) -> 'a -> BasicSocket.close_reason -> unit
  29 val connected : unit -> bool
  30
  31 val to_gui_protocol_used : int array
  32 val from_gui_protocol_used : int array
  33
  34 val scan_ports : unit -> unit
  35
  36