From 10da10ec10da2b872846b0324efb2284f1460eb1 Mon Sep 17 00:00:00 2001 From: metanivek Date: Thu, 5 Jan 2023 13:59:09 -0500 Subject: [PATCH] irmin-pack: close repo after integrity check --- src/irmin-pack/unix/checks.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/irmin-pack/unix/checks.ml b/src/irmin-pack/unix/checks.ml index 8ca033c3107..e3fb630fd60 100644 --- a/src/irmin-pack/unix/checks.ml +++ b/src/irmin-pack/unix/checks.ml @@ -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 =