Fix OverflowException for server port

Change short to int. Bug report by 1092CQ.