diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-05-27 11:45:13 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-05-27 11:45:13 -0400 |
commit | d76362a5986f004a61ed5484f95a592e33ef5e43 (patch) | |
tree | b1b55e8a13efddf3aa1d24c3002071c4ced857c6 /Logs/Presence/Pure.hs | |
parent | e184360d5d2225b50117b0deddb28c0537dfb181 (diff) |
Split lines in the git-annex branch on \r as well as \n, to deal with \r\n terminated lines written by some versions of git-annex on Windows.
This fixes strange displays in some cases, including whereis showing
many duplicate locations, and showing more total copies than actually
exist.
It's unknown if that lead to data loss when eg, dropping. At the moment,
it seems unlikely it could, since the UUID with \r's appended is not the
same as a UUID without, and so no remote matches it.
It's also unknown if \r's can leak in on windows, perhaps when merging the
git-annex branch.
Diffstat (limited to 'Logs/Presence/Pure.hs')
-rw-r--r-- | Logs/Presence/Pure.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Logs/Presence/Pure.hs b/Logs/Presence/Pure.hs index e2ec3f13d..7955c8da3 100644 --- a/Logs/Presence/Pure.hs +++ b/Logs/Presence/Pure.hs @@ -12,6 +12,7 @@ import qualified Data.Map as M import Annex.Common import Logs.TimeStamp +import Logs.Line import Utility.QuickCheck data LogLine = LogLine { @@ -25,7 +26,7 @@ data LogStatus = InfoPresent | InfoMissing | InfoDead {- Parses a log file. Unparseable lines are ignored. -} parseLog :: String -> [LogLine] -parseLog = mapMaybe parseline . lines +parseLog = mapMaybe parseline . splitLines where parseline l = LogLine <$> parsePOSIXTime d |