diff options
author | 2013-04-22 17:18:53 -0400 | |
---|---|---|
committer | 2013-04-22 17:18:53 -0400 | |
commit | 82a188fcee59067a389e59fd5c30eabd1ef7ac03 (patch) | |
tree | 5960bc7e6bd578e6873a8e90bed9c58d86b4554b /Logs/Web.hs | |
parent | 2ae8b1701203e6f977cf6d1d7f53db1c01222aee (diff) |
rmurl: New command, removes one of the recorded urls for a file.
Diffstat (limited to 'Logs/Web.hs')
-rw-r--r-- | Logs/Web.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Logs/Web.hs b/Logs/Web.hs index 7cfad8648..0ed537a8e 100644 --- a/Logs/Web.hs +++ b/Logs/Web.hs @@ -54,4 +54,7 @@ setUrlPresent key url = do logChange key webUUID InfoPresent setUrlMissing :: Key -> URLString -> Annex () -setUrlMissing key url = addLog (urlLog key) =<< logNow InfoMissing url +setUrlMissing key url = do + addLog (urlLog key) =<< logNow InfoMissing url + whenM (null <$> getUrls key) $ + logChange key webUUID InfoMissing |