+++ /users/psn/planet/planet/feedparser.py      2006-04-17 01:10:36.000000000 +0100
@@ -1553,7 +1553,10 @@
                     url_file_stream_or_string = "%s://%s%s" % (urltype, realhost, rest)
                     auth = base64.encodestring(user_passwd).strip()
         # try to open with urllib2 (to use optional headers)
-        request = urllib2.Request(url_file_stream_or_string)
+       proxy_support = urllib2.ProxyHandler({})
+       opener = urllib2.build_opener(proxy_support)
+       urllib2.install_opener(opener)
+       request = urllib2.Request(url_file_stream_or_string)
         request.add_header("User-Agent", agent)
         if etag:
             request.add_header("If-None-Match", etag)