diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-03-19 11:28:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-19 10:28:49 +0000 |
| commit | e913823a220b89a205a09efe53116fab435dfdfb (patch) | |
| tree | 5b51ba8364147819e24c468eae8ff00c1275b1ad /.github | |
| parent | Add prometheus metrics for the number of active pushers (#7103) (diff) | |
| download | synapse-e913823a220b89a205a09efe53116fab435dfdfb.tar.xz | |
Fix concurrent modification errors in pusher metrics (#7106)
add a lock to try to make this metric actually work
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions