pub const STOP_GRACE: Duration;
How long a stopped push gets to end after the polite stop signal before it is killed.