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 12:37:12 +02:00
|
|
|
let main =
|
|
|
|
|
let session_id = get_session in
|
|
|
|
|
let body = close_session session_id in
|
2023-05-13 10:40:03 +02:00
|
|
|
print_endline body
|
2023-05-13 10:15:35 +02:00
|
|
|
;;
|
2023-05-12 20:30:02 +02:00
|
|
|
|
2023-05-12 19:36:27 +02:00
|
|
|
let () =
|
2023-05-13 10:15:35 +02:00
|
|
|
let driver = prepare (Gecko "0.33.0") in
|
2023-05-13 11:59:09 +02:00
|
|
|
let driver_process = run_process driver [] in
|
2023-05-13 12:37:12 +02:00
|
|
|
main;
|
2023-05-13 11:59:09 +02:00
|
|
|
stop_process driver_process
|
2023-05-12 19:36:27 +02:00
|
|
|
;;
|
