server port takes argument