[Bug-wget] Wget times out

[Marc R.J. Brevoort]

Hello all,

Apparently this is a combined gnome config/wget issue so I'm posting it 
individually to both sides.

I've found a situation where wget always times out when behind a proxy,
even if proxy login credentials etc. are 100% correct.

Reason for the timeout is that wget apparently chokes on a
trailing comma in the no_proxy environment variable.

The Gnome tools should not have added this comma (as there are no
further entries); wget should not choke on it.

For now I've worked around it by adding this in my .bashrc:

export no_proxy=`echo $no_proxy|sed -e 's/,$//'`

(But surely wget could do something similar itself if it
detects a trailing comma in no_proxy!)

Kindest regards,
Marc Brevoort