GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-24 16:56:36 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

adjust user agent name

Browse source
This commit is contained in:
Damien Elmes 2017-01-08 19:57:04 +10:00
parent 1609ffc92a
commit f104044a09
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
anki/sync.py
View file

@ -464,9 +464,13 @@ class AnkiRequestsClient(object):
def post(self, url, data, headers):
data = _MonitoringFile(data)
headers['User-Agent'] = self._agentName()
return self.session.post(url, data=data, headers=headers, stream=True)
def get(self, url):
def get(self, url, headers=None):
if headers is None:
headers = {}
headers['User-Agent'] = self._agentName()
return self.session.get(url, stream=True)
def streamContent(self, resp):
@ -478,6 +482,10 @@ class AnkiRequestsClient(object):
buf.write(chunk)
return buf.getvalue()
def _agentName(self):
from anki import version
return "Anki {}".format(version)
class _MonitoringFile(io.BufferedReader):
def read(self, size=-1):
data = io.BufferedReader.read(self, HTTP_BUF_SIZE)