diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2014-12-11 16:09:56 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2014-12-11 16:09:56 -0400 |
| commit | 738233bdcfaf71432dba9f2857d0b3f69f14b8d5 (patch) | |
| tree | 44f487071180b2c17cc7fa2c35ef7490d1dbb16f /Types | |
| parent | f7ef9c36f57f69d4ba6145c77553cfeabeabcbc2 (diff) | |
use subdir for addurl when it creates multiple files
The --file parameter specifies the subdir in this mode.
Diffstat (limited to 'Types')
| -rw-r--r-- | Types/UrlContents.hs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/Types/UrlContents.hs b/Types/UrlContents.hs index 81b195fe3..ae50c6b40 100644 --- a/Types/UrlContents.hs +++ b/Types/UrlContents.hs @@ -11,9 +11,8 @@ import Utility.Url data UrlContents -- An URL contains a file, whose size may be known. - -- A default filename will be provided, and can be overridded - -- or built on. - = UrlContents (Maybe Integer) (FilePath -> FilePath) + -- There might be a nicer filename to use. + = UrlContents (Maybe Integer) (Maybe FilePath) -- Sometimes an URL points to multiple files, each accessible -- by their own URL. - | UrlNested [(URLString, UrlContents)] + | UrlMulti [(URLString, Maybe Integer, FilePath)] |