progressMinInterval property

Duration progressMinInterval

The shortest gap between two progress notifications for one request (progress notifications are rate limited so a busy handler cannot flood the client).

Implementation

final Duration progressMinInterval;