IP-addresses in no_proxy_on list

[email protected] (Hans Werner Strube) Mon, 12 Jul 2004 15:39:22 +0000 (UTC)

Newsgroups	gmane.comp.mozilla.devel.prefs
Organization	Drittes Physikalisches Institut, Univ. Goettingen, Germany
Message-ID	<[email protected]>

Instead of specifying domain names in the no_proxy_on list, I would prefer
specifying IP addresses with netmasks, e.g., 134.76/16. However, although
this should work according to some comments in the source code (mozilla 1.7)
and some hints found by Google, it does not work for me. Do I use it
incorrectly or is it really not possible?

-- 

 Hans Werner Strube          [email protected] (remove .XPAM)
 Drittes Physikalisches Institut,  Univ. Goettingen
 Buergerstr. 42-44,    37073 Goettingen,    Germany