16 Oct
2023
16 Oct
'23
1:44 p.m.
Daniel-Constantin Mierla writes:
I didn't suggest to remove the parameter, but change its default value
if the parameter is not given.
In order to
make configuration simpler, how about having a dynamic default
as I suggested?
Default is half (hardcoded), but its own parameter gives more
flexibility for granularity -- one extra parameter is not adding much
complexity, imo, and case by case one may want more often checks to
clean up those that end up in timeout.