diff options
Diffstat (limited to 'main.py')
| -rwxr-xr-x | main.py | 8 |
1 files changed, 8 insertions, 0 deletions
| @@ -26,6 +26,7 @@ import optparse | |||
| 26 | import os | 26 | import os |
| 27 | import re | 27 | import re |
| 28 | import sys | 28 | import sys |
| 29 | import urllib2 | ||
| 29 | 30 | ||
| 30 | from trace import SetTrace | 31 | from trace import SetTrace |
| 31 | from git_config import init_ssh, close_ssh | 32 | from git_config import init_ssh, close_ssh |
| @@ -199,6 +200,12 @@ def _PruneOptions(argv, opt): | |||
| 199 | continue | 200 | continue |
| 200 | i += 1 | 201 | i += 1 |
| 201 | 202 | ||
| 203 | def init_http(): | ||
| 204 | if 'http_proxy' in os.environ: | ||
| 205 | url = os.environ['http_proxy'] | ||
| 206 | proxy_support = urllib2.ProxyHandler({'http': url, 'https': url}) | ||
| 207 | urllib2.install_opener(urllib2.build_opener(proxy_support)) | ||
| 208 | |||
| 202 | def _Main(argv): | 209 | def _Main(argv): |
| 203 | opt = optparse.OptionParser(usage="repo wrapperinfo -- ...") | 210 | opt = optparse.OptionParser(usage="repo wrapperinfo -- ...") |
| 204 | opt.add_option("--repo-dir", dest="repodir", | 211 | opt.add_option("--repo-dir", dest="repodir", |
| @@ -217,6 +224,7 @@ def _Main(argv): | |||
| 217 | try: | 224 | try: |
| 218 | try: | 225 | try: |
| 219 | init_ssh() | 226 | init_ssh() |
| 227 | init_http() | ||
| 220 | repo._Run(argv) | 228 | repo._Run(argv) |
| 221 | finally: | 229 | finally: |
| 222 | close_ssh() | 230 | close_ssh() |
