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

useless close fn

Browse source
This commit is contained in:
Mylloon 2023-05-13 10:39:51 +02:00
parent 76675b179a
commit 047daf36b4
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 1 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
bin/main.ml
View file

@ -24,7 +24,5 @@ let () =
let driver = prepare (Gecko "0.33.0") in let driver = prepare (Gecko "0.33.0") in
let driver_pid = run driver [] in let driver_pid = run driver [] in
print_endline (fmt "Driver running as %d" driver_pid); print_endline (fmt "Driver running as %d" driver_pid);
main; main
let closed_pid = close driver_pid in
print_endline (fmt "Program %d closed!" closed_pid)
;; ;;

2
lib/drivers.ml
View file

@ -76,5 +76,3 @@ let run path args =
Unix.sleepf 0.5; Unix.sleepf 0.5;
pid pid
;; ;;
let close pid = fst (Unix.waitpid [] pid)