[Spambayes] pop3proxy_port, pop3proxy_server_name and pop3proxy_server_port options

[Francois Granger]

At 09:28 -0500 18/04/2003, in message Re: [Spambayes] pop3proxy_port, 
pop3proxy_server_name a, Skip Montanaro wrote:
>     Tony> You should now have:
>     Tony>   pop3proxy_ports: 110
>     Tony>   pop3proxy_servers: pop3.example.com:110
>
>What's the purpose of pop3proxy_ports?  Can the ports to listen to be
>inferred from the pop3proxy_servers list?

 From my meory, this allow to have one ip adresse (127.0.0.1) serving 
for more than one pop server. Something like

pop3proxy_ports: 110, 1100
pop3proxy_servers: pop3.example.com:110, pop3.example2.com:110

-- 
Hofstadter's Law :
It always takes longer than you expect, even when you take into 
account Hofstadter's Law.