Cabal uses incorrect proxy settings

[Duncan Coutts]

On Sat, 2008-06-14 at 14:59 +0100, Neil Mitchell wrote:
> Hi,
> 
> I just tried:
> 
> C:\Neil\hoogle>cabal update
> Downloading package list from server
> 'http://hackage.haskell.org/packages/archive'
> Warning: invalid http proxy uri: "wwwcache.sns.york.ac.uk:8080"
> Warning: proxy uri must be http with a hostname
> Warning: ignoring http proxy, trying a direct connection
> 
> Obviously it tried to go via the York cache, which is wrong. So I
> checked the IE proxy settings, and found the attached screenshot.
> 
> i.e. the settings are as mentioned, but the checkbox to use those
> settings is disabled. If you tell me which bit of the registry this
> gets read from, I'll happily copy those keys.

See Hackage/HttpUtils.hs

hive: CURRENT_USER
path: Software\Microsoft\Windows\CurrentVersion\Internet Settings
key:  ProxyServer

Can you tell us what is the nearby key that enables/disables use of the
proxy?

Duncan