remove no longer used code #4

Merged
hannes merged 1 commit from minor into main 2024-10-30 20:10:59 +00:00
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