equal
deleted
inserted
replaced
125 # record the url we got redirected to |
125 # record the url we got redirected to |
126 resp_url = resp.geturl() |
126 resp_url = resp.geturl() |
127 if resp_url.endswith(qs): |
127 if resp_url.endswith(qs): |
128 resp_url = resp_url[:-len(qs)] |
128 resp_url = resp_url[:-len(qs)] |
129 if self._url.rstrip('/') != resp_url.rstrip('/'): |
129 if self._url.rstrip('/') != resp_url.rstrip('/'): |
130 self.ui.status(_('real URL is %s\n') % resp_url) |
130 if not self.ui.quiet: |
|
131 self.ui.warn(_('real URL is %s\n') % resp_url) |
131 self._url = resp_url |
132 self._url = resp_url |
132 try: |
133 try: |
133 proto = resp.getheader('content-type') |
134 proto = resp.getheader('content-type') |
134 except AttributeError: |
135 except AttributeError: |
135 proto = resp.headers.get('content-type', '') |
136 proto = resp.headers.get('content-type', '') |