8 Commits

Author	SHA1	Message	Date
kolaente	9024fa6c3a	Fix decoding active users from redis ... (cherry picked from commit ae12871bd7)	2020-07-07 10:13:03 +02:00
kolaente	d2d8c91c43	Make sure the metrics map accesses only happen explicitly ... (cherry picked from commit 7141050f8b)	2020-07-07 10:13:03 +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