From 047daf36b498c1dbfb0aab909c160c06ec7cf322 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Sat, 13 May 2023 10:39:51 +0200 Subject: [PATCH] useless close fn --- bin/main.ml | 4 +--- lib/drivers.ml | 2 -- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/bin/main.ml b/bin/main.ml index a68fc2e..9edd6ac 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -24,7 +24,5 @@ let () = let driver = prepare (Gecko "0.33.0") in let driver_pid = run driver [] in print_endline (fmt "Driver running as %d" driver_pid); - main; - let closed_pid = close driver_pid in - print_endline (fmt "Program %d closed!" closed_pid) + main ;; diff --git a/lib/drivers.ml b/lib/drivers.ml index 918fafc..6584aba 100644 --- a/lib/drivers.ml +++ b/lib/drivers.ml @@ -76,5 +76,3 @@ let run path args = Unix.sleepf 0.5; pid ;; - -let close pid = fst (Unix.waitpid [] pid)