From 79cbcca4c168e6dba8a056f1e0482e8bedac6f9a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 4 Jun 2023 00:06:31 -0400 Subject: [PATCH] cleanup: remove unused function in `Tiny_httpd_server.IO_BACKEND` --- src/Tiny_httpd_server.ml | 6 ------ src/Tiny_httpd_server.mli | 5 ----- 2 files changed, 11 deletions(-) diff --git a/src/Tiny_httpd_server.ml b/src/Tiny_httpd_server.ml index 24086a08..ef897fb9 100644 --- a/src/Tiny_httpd_server.ml +++ b/src/Tiny_httpd_server.ml @@ -631,11 +631,6 @@ module type IO_BACKEND = sig val init_addr : unit -> string 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 (** 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_port () = port let get_time_s = get_time_s - let spawn f = new_thread f let tcp_server () = tcp_server_builder end in let backend = (module B : IO_BACKEND) in diff --git a/src/Tiny_httpd_server.mli b/src/Tiny_httpd_server.mli index 88011f56..819fae14 100644 --- a/src/Tiny_httpd_server.mli +++ b/src/Tiny_httpd_server.mli @@ -406,11 +406,6 @@ module type IO_BACKEND = sig val init_addr : unit -> string 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 (** obtain the current timestamp in seconds. *)