warnUnverifiableInsecure,
isVerifiable,
startVerifyKeyContentIncrementally,
+ finishVerifyKeyContentIncrementally,
IncrementalVerifier(..),
tailVerify,
) where
, return Nothing
)
+finishVerifyKeyContentIncrementally :: Maybe IncrementalVerifier -> Annex (Bool, Verification)
+finishVerifyKeyContentIncrementally Nothing =
+ return (True, UnVerified)
+finishVerifyKeyContentIncrementally (Just iv) =
+ ifM (liftIO $ finalizeIncremental iv)
+ ( return (True, Verified)
+ , do
+ warning "verification of content failed"
+ return (False, UnVerified)
+ )
+
-- | Reads the file as it grows, and feeds it to the incremental verifier.
--
-- The TMVar must start out empty, and be filled once whatever is
iv <- startVerifyKeyContentIncrementally verifyconfig k
fileCopier copycowtried src dest p iv >>= \case
Copied -> ifM check
- ( case iv of
- Just x -> ifM (liftIO $ finalizeIncremental x)
- ( return (True, Verified)
- , do
- warning "verification of content failed"
- return (False, UnVerified)
- )
- Nothing -> return (True, UnVerified)
+ ( finishVerifyKeyContentIncrementally iv
, return (False, UnVerified)
)
CopiedCoW -> unVerified check