1 files changed, 3 insertions, 0 deletions
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))