<Server> Dirty merge of the REST and HTML servers to use only one port.