K 10 svn:author V 3 des K 8 svn:date V 27 2000-10-12T22:10:26.000000Z K 7 svn:log V 132 Rework proxy handling so that proxies can be specified as URLs. As a side effect, remove a lot of duplicate and now redundant code. END