accept port number in server URL, closes #304