Anri/pusk
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages 1 Wiki Activity Actions

Add waiting time to be sure the server is started

Browse source
This commit is contained in:
Mylloon 2023-05-15 10:29:26 +02:00
parent fe4c642ff9
commit 25f1d808e9
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
lib/drivers.ml
View file

@ -66,6 +66,7 @@ let run_process path args =
let pid = let pid =
Unix.create_process command (Array.of_list args) output_fd output_fd output_fd Unix.create_process command (Array.of_list args) output_fd output_fd output_fd
in in
Unix.sleepf 0.5;
out_channel, pid out_channel, pid
;; ;;