Specify a different setup port?

Can a port other than 8585 be specified to setup a server?

Subject: server -listen [portnumber]