diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-02-12 16:48:03 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-02-12 16:48:03 -0400 |
commit | cc13dd82c5cd7647f911ed6be1e58694f7edee31 (patch) | |
tree | 96428bff35d8883e6e4f294072178ba55ffb3d35 /Command | |
parent | f246621a92d2dae3d7d9d6358e6916097729f5c9 (diff) |
avoid --batch crashing if a remote fails to be accessed
Diffstat (limited to 'Command')
-rw-r--r-- | Command/CheckPresentKey.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Command/CheckPresentKey.hs b/Command/CheckPresentKey.hs index 6fe1f552c..29df810a6 100644 --- a/Command/CheckPresentKey.hs +++ b/Command/CheckPresentKey.hs @@ -68,8 +68,7 @@ exitResult (CheckFailure msg) = liftIO $ do batchResult :: Result -> Annex () batchResult Present = liftIO $ putStrLn "1" -batchResult NotPresent = liftIO $ putStrLn "0" -batchResult failure = exitResult failure +batchResult _ = liftIO $ putStrLn "0" toKey :: String -> Key toKey = fromMaybe (error "Bad key") . file2key |