2023-05-13 10:15:35 +02:00
|
|
|
open Pusk.Net
|
|
|
|
open Pusk.Drivers
|
2023-05-12 19:36:27 +02:00
|
|
|
|
2023-05-13 13:06:15 +02:00
|
|
|
let start driver =
|
|
|
|
let name_driver = prepare driver in
|
|
|
|
let data_driver = run_process name_driver [] in
|
|
|
|
let session_id = get_session () in
|
|
|
|
data_driver, session_id
|
2023-05-13 10:15:35 +02:00
|
|
|
;;
|
2023-05-12 20:30:02 +02:00
|
|
|
|
2023-05-13 13:06:15 +02:00
|
|
|
let stop (driver_process, session_id) =
|
2023-05-13 13:33:46 +02:00
|
|
|
if not (close_session session_id) then print_endline "Can't close the session";
|
2023-05-13 11:59:09 +02:00
|
|
|
stop_process driver_process
|
2023-05-12 19:36:27 +02:00
|
|
|
;;
|
2023-05-13 13:06:15 +02:00
|
|
|
|
2023-05-13 13:33:46 +02:00
|
|
|
let main session_id = print_endline session_id
|
2023-05-13 13:06:15 +02:00
|
|
|
|
|
|
|
let () =
|
|
|
|
let data = start (Gecko "0.33.0") in
|
2023-05-13 13:33:46 +02:00
|
|
|
main (snd data);
|
2023-05-13 13:06:15 +02:00
|
|
|
stop data
|
|
|
|
;;
|