cleanup: remove unused function in Tiny_httpd_server.IO_BACKEND

This commit is contained in:
Simon Cruanes 2023-06-04 00:06:31 -04:00
parent d6402faf94
commit 79cbcca4c1
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 0 additions and 11 deletions

View file

@ -631,11 +631,6 @@ module type IO_BACKEND = sig
val init_addr : unit -> string val init_addr : unit -> string
val init_port : unit -> int val init_port : unit -> int
val spawn : (unit -> unit) -> unit
(** function used to spawn a new thread to handle a
new client connection. By default it is {!Thread.create} but one
could use a thread pool instead.*)
val get_time_s : unit -> float val get_time_s : unit -> float
(** obtain the current timestamp in seconds. *) (** obtain the current timestamp in seconds. *)
@ -959,7 +954,6 @@ let create ?(masksigpipe = true) ?max_connections ?(timeout = 0.0) ?buf_size
let init_addr () = addr let init_addr () = addr
let init_port () = port let init_port () = port
let get_time_s = get_time_s let get_time_s = get_time_s
let spawn f = new_thread f
let tcp_server () = tcp_server_builder let tcp_server () = tcp_server_builder
end in end in
let backend = (module B : IO_BACKEND) in let backend = (module B : IO_BACKEND) in

View file

@ -406,11 +406,6 @@ module type IO_BACKEND = sig
val init_addr : unit -> string val init_addr : unit -> string
val init_port : unit -> int val init_port : unit -> int
val spawn : (unit -> unit) -> unit
(** function used to spawn a new thread to handle a
new client connection. By default it is {!Thread.create} but one
could use a thread pool instead.*)
val get_time_s : unit -> float val get_time_s : unit -> float
(** obtain the current timestamp in seconds. *) (** obtain the current timestamp in seconds. *)