HTTP with other ports

[Alan Perry]

Has anyone come up with a general way to change the port number in the http 
module? Right now it is hard coded to be 80, but it is very common to do HTTP 
over another port number.

I was thinking about extending the device name syntax for network devices 
and/or adding a 'default port' (with a command to set it) to go with default 
server. I did an implementation that works for my needs but don't think it is a 
good general purpose implementation.

Has anyone else done work here or have ideas for using alternate port numbers 
with HTTP?

alan