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)