added option --proxy-cred for setting proxy credentials (Feature #195)

This commit is contained in:
Miroslav Stampar
2010-08-18 22:45:00 +00:00
parent 526aebc84c
commit 8aa12db425
3 changed files with 17 additions and 1 deletions

View File

@@ -119,6 +119,10 @@ def cmdLineParser():
request.add_option("--proxy", dest="proxy",
help="Use a HTTP proxy to connect to the target url")
request.add_option("--proxy-cred", dest="pCred",
help="Proxy authentication credentials "
"(name:password)")
request.add_option("--ignore-proxy", dest="ignoreProxy",
action="store_true",
help="Ignore system default HTTP proxy")