Skip to content

Commit

Permalink
irmin-pack: close repo after integrity check
Browse files Browse the repository at this point in the history
  • Loading branch information
metanivek committed Jan 5, 2023
1 parent db584a4 commit 10da10e
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/irmin-pack/unix/checks.ml
Original file line number Diff line number Diff line change
Expand Up @@ -200,9 +200,10 @@ module Make (Store : Store) = struct
| Error (`Msg m) -> Fmt.kstr Lwt.fail_with "Invalid hash %S" m)
heads
in
let+ result =
let* result =
Store.integrity_check ~ppf:Format.err_formatter ~auto_repair ~heads repo
in
let+ () = Store.Repo.close repo in
handle_result ?name:None result

let heads =
Expand Down

0 comments on commit 10da10e

Please sign in to comment.