kolaente
|
ae12871bd7
|
Fix decoding active users from redis
|
2020-07-02 23:19:03 +02:00 |
|
kolaente
|
7141050f8b
|
Make sure the metrics map accesses only happen explicitly
|
2020-07-02 21:16:39 +02:00 |
|
kolaente
|
333444b4e1
|
Improve metrics performance
|
2020-05-15 14:42:32 +02:00 |
|
kolaente
|
1f99238019
|
Update copyright header
|
2020-02-07 17:27:45 +01:00 |
|
konrad
|
a0c5e4e985
|
Update copyright year (#118)
|
2020-01-09 17:33:22 +00:00 |
|
shilch
|
e890001ee1
|
Consistent copyright text in file headers (#112)
|
2019-12-04 19:39:56 +00:00 |
|
konrad
|
48826a6ed7
|
Logger refactoring (#90)
|
2019-07-20 18:12:10 +00:00 |
|
konrad
|
e047673c6b
|
Add prometheus endpoint for getting metrics (#33)
|
2018-12-12 22:50:35 +00:00 |
|