equal
deleted
inserted
replaced
91 raise util.Abort(_('http error, possibly caused by proxy setting')) |
91 raise util.Abort(_('http error, possibly caused by proxy setting')) |
92 # record the url we got redirected to |
92 # record the url we got redirected to |
93 resp_url = resp.geturl() |
93 resp_url = resp.geturl() |
94 if resp_url.endswith(qs): |
94 if resp_url.endswith(qs): |
95 resp_url = resp_url[:-len(qs)] |
95 resp_url = resp_url[:-len(qs)] |
96 if self._url != resp_url: |
96 if self._url.rstrip('/') != resp_url.rstrip('/'): |
97 self.ui.status(_('real URL is %s\n') % resp_url) |
97 self.ui.status(_('real URL is %s\n') % resp_url) |
98 self._url = resp_url |
98 self._url = resp_url |
99 try: |
99 try: |
100 proto = resp.getheader('content-type') |
100 proto = resp.getheader('content-type') |
101 except AttributeError: |
101 except AttributeError: |