server/sources/datafeed.py
branchstable
changeset 9224 5c6d6a9f4fc8
parent 9182 75493f6ca586
child 9448 3e7cad3967c5
child 9517 3338b2205ea3
--- a/server/sources/datafeed.py	Wed Aug 28 11:36:44 2013 +0200
+++ b/server/sources/datafeed.py	Wed Aug 28 11:56:07 2013 +0200
@@ -445,7 +445,7 @@
         if url.startswith('http'):
             url = self.normalize_url(url)
             self.source.info('GET %s', url)
-            stream = _OPENER.open(url, timeout=self.http_timeout)
+            stream = _OPENER.open(url, timeout=self.source.http_timeout)
         elif url.startswith('file://'):
             stream = open(url[7:])
         else:
@@ -462,7 +462,7 @@
         if extid.startswith('http'):
             try:
                 _OPENER.open(self.normalize_url(extid), # XXX HTTP HEAD request
-                             timeout=self.http_timeout)
+                             timeout=self.source.http_timeout)
             except urllib2.HTTPError as ex:
                 if ex.code == 404:
                     return True