Feature #8317

URI: no_proxy with whitespaces and leading dots.

Added by Zachary Scott 12 months ago. Updated 3 months ago.

Assignee:akira yamada
Target version:current: 2.2.0


From (())

The previous implementation wouldn't allow for white-spaces nor a leading dot
in the no_proxy list. The latter is described in the wget documentation as a valid case.

By being more strict on the characters, which are counted to a domainname,
we allow for white-spaces.
Also, a possible leading dot will be handled gracefully.


285.patch Magnifier (1.22 KB) Zachary Scott, 04/24/2013 12:40 PM


#1 Updated by Hiroshi SHIBATA 3 months ago

  • Target version changed from 2.1.0 to current: 2.2.0

Also available in: Atom PDF