[#] server port selector