REST port option