allows the user to set dev-server port