simon/tiny_httpd
1
0
Fork 0
mirror of https://github.com/c-cube/tiny_httpd.git synced 2025-12-06 11:15:35 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

tiny_httpd_eio: do not use Eio's clock for our internals

Browse source
This commit is contained in:
Simon Cruanes 2023-06-04 00:18:37 -04:00
parent 79cbcca4c1
commit 5e0a634c10
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/eio/tiny_httpd_eio.ml
View file

@ -120,10 +120,7 @@ let io_backend ?(addr = "127.0.0.1") ?(port = 8080) ?max_connections
let module M = struct let module M = struct
let init_addr () = addr let init_addr () = addr
let init_port () = port let init_port () = port
let get_time_s () = Unix.gettimeofday ()
let get_time_s () =
let clock = Eio.Stdenv.clock stdenv in
Eio.Time.now clock
let tcp_server () : IO.TCP_server.builder = let tcp_server () : IO.TCP_server.builder =
{ {