From 25f1d808e924f8f1046c82c2049733cf1bd8b532 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Mon, 15 May 2023 10:29:26 +0200 Subject: [PATCH] Add waiting time to be sure the server is started --- lib/drivers.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/drivers.ml b/lib/drivers.ml index c900daa..5b58fb0 100644 --- a/lib/drivers.ml +++ b/lib/drivers.ml @@ -66,6 +66,7 @@ let run_process path args = let pid = Unix.create_process command (Array.of_list args) output_fd output_fd output_fd in + Unix.sleepf 0.5; out_channel, pid ;;