[Mailman-Users] different port

[Richard Barrett]

At 18:50 16/08/2001 -0700, you wrote:
>Hello. Mailman question:
>
>I want to run my server on a different port, say, port 8080 but when I set
>up mailman it doesn't work properly because it will point to 80 unless I
>specify 8080 in the config and if I do it there, it adds :8080 to all the
>email addresses in the mails it sent out---which is not complient with the
>mail software. How do I fix this so I can run a server on a different port
>and yet use the Mailman software?

I think you'll get the results you want if you add a line such as this:

DEFAULT_URL = 'http://your.webmachine.com:8080/mailman/'

to you $prefix/Mailman/mm_cfg.py, setting machine name and port number as 
required.