diff options
| author | Rene Rivera <grafikrobot@gmail.com> | 2007-10-30 01:50:42 +0000 |
|---|---|---|
| committer | Rene Rivera <grafikrobot@gmail.com> | 2007-10-30 01:50:42 +0000 |
| commit | 79459c163a1a471389dcce409d4c910aa0ba74b9 (patch) | |
| tree | 8519ad2e6a6249dfb0c729d037a0db5d2ab876af | |
| parent | d25682a90d826b7944458d1941032fb18fc49758 (diff) | |
| download | boost-79459c163a1a471389dcce409d4c910aa0ba74b9.tar.gz | |
Add support for using a proxy as some firewalls are restrictive even to HTTP/GET access.
[SVN r40595]
| -rw-r--r-- | tools/regression/src/run.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/tools/regression/src/run.py b/tools/regression/src/run.py index 23bd8bd800..f27a6d4094 100644 --- a/tools/regression/src/run.py +++ b/tools/regression/src/run.py @@ -34,8 +34,15 @@ if os.path.exists(script_local): shutil.copyfile( os.path.join(script_local,src), os.path.join(script_dir,src) ) else: print '# Dowloading regression scripts from %s...' % script_remote + proxy = None + for a in sys.argv[1:]: + if a.startswith('--proxy='): + proxy = {'http' : a.split('=')[1] } + print '--- %s' %(proxy['http']) + break for src in script_sources: - urllib.urlretrieve( '%s/%s' % (script_remote,src), os.path.join(script_dir,src) ) + urllib.FancyURLopener(proxy).retrieve( + '%s/%s' % (script_remote,src), os.path.join(script_dir,src) ) #~ * Make the scripts available to Python sys.path.insert(0,os.path.join(root,'tools_regression_src')) |