avoid --batch crashing if a remote fails to be accessed
This commit is contained in:
parent
cc4d3e3d45
commit
d3130930db
1 changed files with 1 additions and 2 deletions
|
@ -68,8 +68,7 @@ exitResult (CheckFailure msg) = liftIO $ do
|
||||||
|
|
||||||
batchResult :: Result -> Annex ()
|
batchResult :: Result -> Annex ()
|
||||||
batchResult Present = liftIO $ putStrLn "1"
|
batchResult Present = liftIO $ putStrLn "1"
|
||||||
batchResult NotPresent = liftIO $ putStrLn "0"
|
batchResult _ = liftIO $ putStrLn "0"
|
||||||
batchResult failure = exitResult failure
|
|
||||||
|
|
||||||
toKey :: String -> Key
|
toKey :: String -> Key
|
||||||
toKey = fromMaybe (error "Bad key") . file2key
|
toKey = fromMaybe (error "Bad key") . file2key
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue