Feature #8317

URI: no_proxy with whitespaces and leading dots.

Added by Zachary Scott over 2 years ago. Updated almost 2 years ago.

Assignee:akira yamada


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 almost 2 years ago

  • Target version changed from 2.1.0 to current: 2.2.0

Also available in: Atom PDF