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.
This commit is contained in:
parent
f4db181d9b
commit
eba68572dc
9 changed files with 106 additions and 5 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue