PushSensor Properties Name Type Description Notes port Integer (optional) port recommendation for starting the push sensor. API does not guarantee that this port will be used. [optional]