From 748c184ccb13ad6ccbe35b36beb4b090d58d6130 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 14 Mar 2008 18:57:36 +0000
Subject: [PATCH] Fix #395

---
 src/libprs500/__init__.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/libprs500/__init__.py b/src/libprs500/__init__.py
index 5dab02a138..0374dc3adc 100644
--- a/src/libprs500/__init__.py
+++ b/src/libprs500/__init__.py
@@ -208,10 +208,15 @@ def extract(path, dir):
     extractor(path, dir)
 
 def browser(honor_time=False):
+    http_proxy = os.environ.get('http_proxy', None)
     opener = mechanize.Browser()
     opener.set_handle_refresh(True, honor_time=honor_time)
     opener.set_handle_robots(False)
     opener.addheaders = [('User-agent', 'Mozilla/5.0 (X11; U; i686 Linux; en_US; rv:1.8.0.4) Gecko/20060508 Firefox/1.5.0.4')]
+    if http_proxy:
+        if http_proxy.startswith('http://'):
+            http_proxy = http_proxy[7:]
+        opener.set_proxies({'http':http_proxy})
     return opener
 
 def fit_image(width, height, pwidth, pheight):