convert numeric port strings to port numbers for servers

Change-Id: I8c4c6696b88271f2309a1d80c421c89ead61c91a