From 85c51404aed21813df34c518a00c52a564d6fc69 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bartek=20Iwa=C5=84czuk?= Date: Wed, 11 Sep 2019 13:31:00 +0200 Subject: feat: Set user agent for http client (#2916) --- tools/http_server.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tools') diff --git a/tools/http_server.py b/tools/http_server.py index dc3bbe00b..1951c9e53 100755 --- a/tools/http_server.py +++ b/tools/http_server.py @@ -61,6 +61,9 @@ class ContentTypeHandler(QuietSimpleHTTPRequestHandler): if self.headers.has_key('content-type'): self.send_header('content-type', self.headers.getheader('content-type')) + if self.headers.has_key('user-agent'): + self.send_header('user-agent', + self.headers.getheader('user-agent')) self.end_headers() data_string = self.rfile.read(int(self.headers['Content-Length'])) self.wfile.write(bytes(data_string)) -- cgit v1.2.3