diff --git a/src/segment.c b/src/segment.c index c8a8b9b1..57737099 100644 --- a/src/segment.c +++ b/src/segment.c @@ -483,7 +483,7 @@ static void mi_segment_perhaps_decommit(mi_segment_t* segment, uint8_t* p, size_ else if (segment->decommit_expire <= now) { // previous decommit mask already expired // mi_segment_delayed_decommit(segment, true, stats); - segment->decommit_expire = now + 5; // wait a tiny bit longer in case there is a series of free's + segment->decommit_expire = now + (mi_option_get(mi_option_reset_delay) / 8); // wait a tiny bit longer in case there is a series of free's } else { // previous decommit mask is not yet expired