bugfix for serverportnum missing crash