# HG changeset patch # User Sylvain Thénault # Date 1377683767 -7200 # Node ID 5c6d6a9f4fc8a2d1dfce9d699785f63c484caecc # Parent 233e770293a9540f84d121dbe77d3510f73bd035 [datafeed] fix crash due to bad http_timeout handling. Closes #3096585 diff -r 233e770293a9 -r 5c6d6a9f4fc8 server/sources/datafeed.py --- 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