diff options
author | 2017-11-07 16:15:44 -0400 | |
---|---|---|
committer | 2017-11-07 16:15:44 -0400 | |
commit | f3af50df049cf3d75e3d0983979bfcedd8192ef1 (patch) | |
tree | bf940c1507f0c4d2b7d7d175d80f4ec298c3b5d5 /CmdLine.hs | |
parent | bc92cb5a599865efc79f38044c56cbf67143c2c7 (diff) |
Web.checkKey: Fix handling of multiple urls
When there are multiple urls for a file, still treat it as being present
in the web when some urls don't work, as long as at least one url does
work.
This is consistent with the other web methods handling of multiple urls.
This commit was sponsored by Ole-Morten Duesund on Patreon.
Diffstat (limited to 'CmdLine.hs')
0 files changed, 0 insertions, 0 deletions