ping_interval property

Duration ping_interval
getter/setter pair

Implementation

late Duration ping_interval;