mirror of
https://github.com/ArchiveBox/ArchiveBox
synced 2024-11-26 06:00:22 +00:00
send ArchiveBox user agent to archive.org
This commit is contained in:
parent
8a9b4d6975
commit
705abda1a5
1 changed files with 2 additions and 0 deletions
|
@ -32,6 +32,7 @@ from config import (
|
|||
ANSI,
|
||||
ARCHIVE_DIR,
|
||||
GIT_DOMAINS,
|
||||
GIT_SHA,
|
||||
)
|
||||
from util import (
|
||||
check_dependencies,
|
||||
|
@ -404,6 +405,7 @@ def archive_dot_org(link_dir, link, timeout=TIMEOUT):
|
|||
'curl',
|
||||
'--location',
|
||||
'--head',
|
||||
'--user-agent', 'ArchiveBox/{} (+https://github.com/pirate/ArchiveBox/)'.format(GIT_SHA),
|
||||
'--max-time', str(timeout),
|
||||
'--get',
|
||||
*(() if CHECK_SSL_VALIDITY else ('--insecure',)),
|
||||
|
|
Loading…
Reference in a new issue