[Mailman-Users] different port

[Michael Johnson - fw]

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?