tree d6f236dfba979071680f535eeb349aa6c2a81d8f
parent 1bd67e9b0363a040f2b6e53c2715a28e47b18eca
author Willy Tarreau <w@1wt.eu> 1611917781 +0100
committer Willy Tarreau <w@1wt.eu> 1611918633 +0100
encoding latin1

MINOR: activity: flush scheduler stats on "set profiling tasks on"

If a user enables profiling by hand, it makes sense to reset the stats
counters to provide fresh new measurements. Therefore it's worth using
this as the standard method to reset counters.