Try to fill in missing prefix

merge-requests/30/head
Bob Mottram 2023-10-11 20:35:17 +01:00
parent d76711408d
commit eae34bb5c3
1 changed files with 3 additions and 0 deletions

View File

@ -75,6 +75,9 @@ def url_exists(session, url: str, timeout_sec: int = 3,
if domain:
session_headers['User-Agent'] += \
'; +' + http_prefix + '://' + domain + '/'
if '://' not in url:
if url.startswith('/'):
url = http_prefix + '://' + domain + url
if not session:
print('WARN: url_exists failed, no session specified')
return True