mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

improve warning on connection loss

Browse source
This commit is contained in:
Joey Hess 2016-12-09 12:35:45 -04:00
commit ca1bcdcd7c
No known key found for this signature in database
GPG key ID: C910D9222512E3C7
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Remote/P2P.hs
View file

@ -132,7 +132,7 @@ runProto' a (OpenConnection conn) = do
-- so close it.
case v of
Left e -> do
warning e
warning $ "Lost connection to peer (" ++ e ++ ")"
liftIO $ closeConnection conn
return (ClosedConnection, Nothing)
Right r -> return (OpenConnection conn, Just r)