diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-12-31 15:06:33 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-12-31 15:06:33 -0400 |
| commit | 683a62b3f5e5f0c464c1e0ec3c7d0bd85a257490 (patch) | |
| tree | f3206135f7672ac279c5925204a76f2abb3a1a7e | |
| parent | 2736807f86a03741d6339203c594e0c73a8fafad (diff) | |
fix build
| -rw-r--r-- | Command/AddUrl.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Command/AddUrl.hs b/Command/AddUrl.hs index 6c641ec64..65d25859b 100644 --- a/Command/AddUrl.hs +++ b/Command/AddUrl.hs @@ -273,7 +273,7 @@ downloadWeb o url urlinfo file = liftIO $ createDirectoryIfMissing True (parentDir file) finishDownloadWith tmp webUUID url file tryyoutubedl tmp - | isJust (fileOption o) = go file + | isJust (fileOption o) = dl file -- Ask youtube-dl what filename it will download -- first, and check if that is already an annexed file, -- to avoid unnecessary work in that case. |