From 6b88335a6e7f8f7a958711eb1b6092c5fb0f02c6 Mon Sep 17 00:00:00 2001 From: ccd0 Date: Sat, 1 Aug 2015 12:27:38 -0700 Subject: [PATCH] 'ExtensionReplacer' isn't accurate anymore. --- tools/proxy.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/proxy.py b/tools/proxy.py index 4657d2c29..1e1bbbd19 100755 --- a/tools/proxy.py +++ b/tools/proxy.py @@ -10,7 +10,7 @@ proxyConfig = b'''function FindProxyForURL(url, host) { ''' resources = {'/proxy.pac': ('application/x-javascript-config', proxyConfig)} -class ExtensionReplacer(http.server.BaseHTTPRequestHandler): +class RequestHandler(http.server.BaseHTTPRequestHandler): def do_HEAD(self): self.do_GET() @@ -55,6 +55,6 @@ class ThreadedHTTPServer(socketserver.ThreadingMixIn, http.server.HTTPServer): pass port = int(sys.argv[1]) if 1 < len(sys.argv) else 8000 -server = ThreadedHTTPServer(('localhost', port), ExtensionReplacer) +server = ThreadedHTTPServer(('localhost', port), RequestHandler) thread = threading.Thread(target=server.serve_forever) thread.start()