module Galax_server_util: sig
.. end
val dxq_default_port : int Pervasives.ref
val gui_udp_buffer_length : int
val query_udp_buffer_length : int
val zerod_default_port : int Pervasives.ref
val pretty_print_html : string -> string
val get_inet_socket_address : string -> int -> Unix.sockaddr
val parse_host_port_string : string -> string * int option * string
val set_server_output : Buffer.t -> unit
val log_debug : string -> Buffer.t -> unit
module Gui: sig
.. end
type
server_location = Gui.nodeName * string * int
type
xquery_kind =
| |
XQueryString |
| |
XQueryPlan |
| |
XQueryPlanAsync |
type
evaluate_remote_query_sig = bool * server_location * xquery_kind *
string * string -> string option
type
evaluate_closure_sig = string ->
string ->
Xquery_physical_type_ast.physical_type * Physical_value.physical_value
type
async_eval_sig = bool -> (exn -> unit) -> (unit -> unit) -> unit
type
async_eval_ext_sig = (unit -> unit) -> unit
type
interpret_hostport_sig = string -> server_location
module Sim: sig
.. end