From 5e0a634c104358af119ca17c3fa4a371dd209862 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 4 Jun 2023 00:18:37 -0400
Subject: [PATCH] tiny_httpd_eio: do not use Eio's clock for our internals

---
 src/eio/tiny_httpd_eio.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/eio/tiny_httpd_eio.ml b/src/eio/tiny_httpd_eio.ml
index 6967efc3..b6c8e681 100644
--- a/src/eio/tiny_httpd_eio.ml
+++ b/src/eio/tiny_httpd_eio.ml
@@ -120,10 +120,7 @@ let io_backend ?(addr = "127.0.0.1") ?(port = 8080) ?max_connections
   let module M = struct
     let init_addr () = addr
     let init_port () = port
-
-    let get_time_s () =
-      let clock = Eio.Stdenv.clock stdenv in
-      Eio.Time.now clock
+    let get_time_s () = Unix.gettimeofday ()
 
     let tcp_server () : IO.TCP_server.builder =
       {