diff -crB protocol_old/HTTP.py protocol/HTTP.py *** protocol_old/HTTP.py 2010-11-26 11:12:45.932423678 +0100 --- protocol/HTTP.py 2010-11-26 11:15:11.082462021 +0100 *************** *** 142,148 **** def request(self, resource='/', headers=None, data='', method='GET'): if headers is None: headers = {} ! headers['Host'] = self._host + ':' + str(self._port) headers['Content-Length'] = str(len(data)) if 'User-Agent' not in headers: user_agent = GNet.NAME, GNet.VERSION, platform.system(), platform.machine() --- 142,151 ---- def request(self, resource='/', headers=None, data='', method='GET'): if headers is None: headers = {} ! host = self._host ! if self._port != 80 : ! host += ':' + str(self._port) ! headers['Host'] = host headers['Content-Length'] = str(len(data)) if 'User-Agent' not in headers: user_agent = GNet.NAME, GNet.VERSION, platform.system(), platform.machine()