IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix linkcheck builder does not send User-Agent header

Browse Source
This commit is contained in:
Takeshi KOMIYA 2016-08-22 21:17:55 +09:00
parent e0d2783c7b
commit 2b5c7057a7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
sphinx/builders/linkcheck.py
View File

@ -157,7 +157,7 @@ class CheckExternalLinksBuilder(Builder):
# Read the whole document and see if #anchor exists # Read the whole document and see if #anchor exists
# (Anchors starting with ! are ignored since they are # (Anchors starting with ! are ignored since they are
# commonly used for dynamic pages) # commonly used for dynamic pages)
response = requests.get(req_url, stream=True, **kwargs) response = self.session.get(req_url, stream=True, **kwargs)
found = check_anchor(response, unquote(anchor)) found = check_anchor(response, unquote(anchor))
if not found: if not found:
@ -166,14 +166,14 @@ class CheckExternalLinksBuilder(Builder):
try: try:
# try a HEAD request, which should be easier on # try a HEAD request, which should be easier on
# the server and the network # the server and the network
response = requests.head(req_url, **kwargs) response = self.session.head(req_url, **kwargs)
response.raise_for_status() response.raise_for_status()
except HTTPError as err: except HTTPError as err:
if err.response.status_code not in (403, 405): if err.response.status_code not in (403, 405):
raise raise
# retry with GET if that fails, some servers # retry with GET if that fails, some servers
# don't like HEAD requests and reply with 403 or 405 # don't like HEAD requests and reply with 403 or 405
response = requests.get(req_url, stream=True, **kwargs) response = self.session.get(req_url, stream=True, **kwargs)
response.raise_for_status() response.raise_for_status()
except HTTPError as err: except HTTPError as err:
if err.response.status_code == 401: if err.response.status_code == 401: