check whether port given by server is an integer