Don't set the port number in the PortList widget if it corresponds to the default port. This makes changing protocols less clumsy. Rev: server/etc/modules/Variable.pmod/module.pmod:1.89