Attachment 40585 Details for Bug 31936 – Patch to avoid sending port number in URL when port is 80

[patch] Patch to avoid sending port number in URL when port is 80

papyon.patch (text/plain), 1.03 KB, created by Yoav on 2010-11-26 05:58:10 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Yoav

Created: 2010-11-26 05:58:10 UTC

Size: 1.03 KB

patch

obsolete

>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()

Actions: View | Splinter Review

Attachments on bug 31936: 40585

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.