diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-09-12 17:45:52 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-09-12 17:45:52 -0400 |
commit | 54fa27f616a38a24201479022b115cdac5f6f803 (patch) | |
tree | 9f2fdf02512101dea9b4945a9bb1fdec241c7b29 /Logs | |
parent | 89cd37ff4a24f9da071438e06d3a41861780a117 (diff) |
change export.log format to support multiple export remotes
This breaks backwards compatibility, but only with unreleased versions of
git-annex, which I think is acceptable.
This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'Logs')
-rw-r--r-- | Logs/Export.hs | 87 |
1 files changed, 54 insertions, 33 deletions
diff --git a/Logs/Export.hs b/Logs/Export.hs index dc9952b86..2bc1b1705 100644 --- a/Logs/Export.hs +++ b/Logs/Export.hs @@ -17,7 +17,7 @@ import Git.Tree import Git.Sha import Git.FilePath import Logs -import Logs.UUIDBased +import Logs.MapLog import Annex.UUID data Exported = Exported @@ -26,24 +26,30 @@ data Exported = Exported } deriving (Eq, Show) +data ExportParticipants = ExportParticipants + { exportFrom :: UUID + , exportTo :: UUID + } + deriving (Eq, Ord) + +data ExportChange = ExportChange + { oldTreeish :: [Git.Ref] + , newTreeish :: Git.Ref + } + -- | Get what's been exported to a special remote. -- -- If the list contains multiple items, there was an export conflict, -- and different trees were exported to the same special remote. getExport :: UUID -> Annex [Exported] -getExport remoteuuid = nub . mapMaybe get . M.elems . simpleMap - . parseLogNew parseExportLog +getExport remoteuuid = nub . mapMaybe get . M.toList . simpleMap + . parseExportLog <$> Annex.Branch.get exportLog where - get (ExportLog exported u) - | u == remoteuuid = Just exported + get (ep, exported) + | exportTo ep == remoteuuid = Just exported | otherwise = Nothing -data ExportChange = ExportChange - { oldTreeish :: [Git.Ref] - , newTreeish :: Git.Ref - } - -- | Record a change in what's exported to a special remote. -- -- This is called before an export begins uploading new files to the @@ -61,16 +67,17 @@ recordExport :: UUID -> ExportChange -> Annex () recordExport remoteuuid ec = do c <- liftIO currentVectorClock u <- getUUID - let val = ExportLog (Exported (newTreeish ec) []) remoteuuid + let ep = ExportParticipants { exportFrom = u, exportTo = remoteuuid } + let exported = Exported (newTreeish ec) [] Annex.Branch.change exportLog $ - showLogNew formatExportLog - . changeLog c u val + showExportLog + . changeMapLog c ep exported . M.mapWithKey (updateothers c u) - . parseLogNew parseExportLog + . parseExportLog where - updateothers c u theiru le@(LogEntry _ (ExportLog exported@(Exported { exportedTreeish = t }) remoteuuid')) - | u == theiru || remoteuuid' /= remoteuuid || t `notElem` oldTreeish ec = le - | otherwise = LogEntry c (ExportLog (exported { exportedTreeish = newTreeish ec }) theiru) + updateothers c u ep le@(LogEntry _ exported@(Exported { exportedTreeish = t })) + | u == exportFrom ep || remoteuuid /= exportTo ep || t `notElem` oldTreeish ec = le + | otherwise = LogEntry c (exported { exportedTreeish = newTreeish ec }) -- | Record the beginning of an export, to allow cleaning up from -- interrupted exports. @@ -80,29 +87,43 @@ recordExportBeginning :: UUID -> Git.Ref -> Annex () recordExportBeginning remoteuuid newtree = do c <- liftIO currentVectorClock u <- getUUID - ExportLog old _ <- fromMaybe (ExportLog (Exported emptyTree []) remoteuuid) - . M.lookup u . simpleMap - . parseLogNew parseExportLog + let ep = ExportParticipants { exportFrom = u, exportTo = remoteuuid } + old <- fromMaybe (Exported emptyTree []) + . M.lookup ep . simpleMap + . parseExportLog <$> Annex.Branch.get exportLog let new = old { incompleteExportedTreeish = nub (newtree:incompleteExportedTreeish old) } Annex.Branch.change exportLog $ - showLogNew formatExportLog - . changeLog c u (ExportLog new remoteuuid) - . parseLogNew parseExportLog + showExportLog + . changeMapLog c ep new + . parseExportLog graftTreeish newtree -data ExportLog = ExportLog Exported UUID +parseExportLog :: String -> MapLog ExportParticipants Exported +parseExportLog = parseMapLog parseExportParticipants parseExported + +showExportLog :: MapLog ExportParticipants Exported -> String +showExportLog = showMapLog formatExportParticipants formatExported + +formatExportParticipants :: ExportParticipants -> String +formatExportParticipants ep = + fromUUID (exportFrom ep) ++ ':' : fromUUID (exportTo ep) -formatExportLog :: ExportLog -> String -formatExportLog (ExportLog exported remoteuuid) = unwords $ - [ Git.fromRef (exportedTreeish exported) - , fromUUID remoteuuid - ] ++ map Git.fromRef (incompleteExportedTreeish exported) +parseExportParticipants :: String -> Maybe ExportParticipants +parseExportParticipants s = case separate (== ':') s of + ("",_) -> Nothing + (_,"") -> Nothing + (f,t) -> Just $ ExportParticipants + { exportFrom = toUUID f + , exportTo = toUUID t + } +formatExported :: Exported -> String +formatExported exported = unwords $ map Git.fromRef $ + exportedTreeish exported : incompleteExportedTreeish exported -parseExportLog :: String -> Maybe ExportLog -parseExportLog s = case words s of - (et:u:it) -> Just $ - ExportLog (Exported (Git.Ref et) (map Git.Ref it)) (toUUID u) +parseExported :: String -> Maybe Exported +parseExported s = case words s of + (et:it) -> Just $ Exported (Git.Ref et) (map Git.Ref it) _ -> Nothing -- To prevent git-annex branch merge conflicts, the treeish is |