Modify location log parser to allow future expansion.
Since the logs have just been moved into the git-annex branch, don't need to worry about backwards compatability with old versions of git-annex that would fail to parse location logs with extra fields tacked on.
This commit is contained in:
parent
e8068f2ffb
commit
5034d8c298
3 changed files with 4 additions and 8 deletions
|
@ -8,6 +8,8 @@
|
|||
-
|
||||
- A line of the log will look like: "date N UUID"
|
||||
- Where N=1 when the repo has the file, and 0 otherwise.
|
||||
- (After the UUID can optionally come a white space and other data,
|
||||
- for future expansion.)
|
||||
-
|
||||
- Copyright 2010-2011 Joey Hess <joey@kitenet.net>
|
||||
-
|
||||
|
@ -65,7 +67,7 @@ instance Read LogLine where
|
|||
-- read without an exception being thrown.
|
||||
-- Such lines have a status of Undefined.
|
||||
readsPrec _ string =
|
||||
if length w == 3
|
||||
if length w >= 3
|
||||
then maybe bad good pdate
|
||||
else bad
|
||||
where
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue