Actions
Feature #8317
closedURI: no_proxy with whitespaces and leading dots.
Feature #8317:
URI: no_proxy with whitespaces and leading dots.
Description
From GitHub#285
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.
Files
Actions