#1434: g.extension: option to specify proxy server
-------------------------------------------------+--------------------------
Reporter: hamish | Owner: grass-dev@…
Type: enhancement | Status: new
Priority: major | Milestone: 7.0.0
Component: Installation | Version: svn-trunk
Keywords: g.extension, urllib, wget, r.in.wms | Platform: All
Cpu: All |
-------------------------------------------------+--------------------------
Comment(by zarch):
Replying to [comment:4 hamish]:
> Hi,
>
> please also check if the http_proxy, ftp_proxy, etc. environment
variables exist, that's quite widely supported convention and quite handy
for those that need it set for everything.
If the environment variables exist and user does not specify new one with:
http_proxy, ftp_proxy, etc. the environment variables are used. Looking at
the python docs:
{{{
# Use proxies from environment - both versions are equivalent
filehandle = urllib.urlopen(some_url, proxies=None)
}}}
> I'm not sure which should have precedence if it is set multiple ways, I
guess the command line option before the envrio. variable.
IMHO, if the user specify the http_proxy parameter on the module this
should have the precedence.
--
Ticket URL: <http://trac.osgeo.org/grass/ticket/1434#comment:5>
GRASS GIS <http://grass.osgeo.org>
_______________________________________________
grass-dev mailing list
grass-dev@lists.osgeo.org
http://lists.osgeo.org/mailman/listinfo/grass-dev
