Constant CHILD_EXIT_GRACE_PERIOD 

const CHILD_EXIT_GRACE_PERIOD: Duration;

Grace period for the SSH child to exit after the console interrupt before shutdown_child force-kills it.