[Mailman-Users] Change mailman web port?

[Ian Marlier]

I'm running Mailman on a server behind a DSL line, and the DSL provider 
doesn't allow access to port 80.  So I need to run the web part of 
Mailman on another port.  I can access all of the pages fine (ie, 
apache is set up correctly), BUT

all of the links, in the Mailman pages as well as the e-mails that 
Mailman generates, refer to the server name _without_ the non-standard 
port.

Right now, mailman generates links like
http://lists.server.com/mailman/listinfo/....
and I need
http://lists.server.com:8080/mailman/listinfo/....


Where would I look to make this change?

Thanks much,

Ian