server: specify port as a string