Merge pull request 'remove no longer used code' (!4) from minor into main

Reviewed-on: #4
Reviewed-by: dinosaure <romain.calascibetta@gmail.com>
This commit is contained in:
Hannes Mehnert 2024-10-30 20:10:58 +00:00
commit bc190bd054
2 changed files with 0 additions and 18 deletions

View file

@ -17,15 +17,6 @@
(locks p9418)
(deps %{bin:mgit}))
(executable
(name git_daemon_exists)
(libraries unix))
(rule
(with-stdout-to
git-daemon
(run ./git_daemon_exists.exe)))
(test
(name tests)
(libraries git-kv alcotest bos mirage-clock-unix lwt.unix git-unix)

View file

@ -1,9 +0,0 @@
let git_daemon_exists () =
match Unix.create_process "git" [| "git"; "daemon" |] Unix.stdin Unix.stdout Unix.stderr with
| pid ->
Unix.kill pid Sys.sigint ; true
| exception Unix.Unix_error _ -> false
let () =
let v = git_daemon_exists () in
Format.printf "%b" v