|
0c3142cc8f
|
Hide metric for bad with no counter data
|
2024-07-21 15:04:45 +02:00 |
|
|
bd86ab8b52
|
Remove leading zeros in bad id
|
2024-07-21 12:45:03 +02:00 |
|
|
61d1b5454b
|
Print direct link to metrics endpoint on startup
|
2024-07-21 12:40:17 +02:00 |
|
|
a1bcaf93d1
|
Escape metric label values
|
2024-07-21 12:38:36 +02:00 |
|
|
011fbdd2b7
|
Properly format metrics on missing badname
|
2024-07-21 11:56:55 +02:00 |
|
|
72fc8fb588
|
Add Baedernames to metrics output
|
2024-07-20 19:26:59 +02:00 |
|
|
5abbe686cf
|
Migrate baedernames to HashMap and display fetched names
|
2024-07-20 19:13:54 +02:00 |
|
|
49e8db169c
|
Add functions to read bath names
|
2024-07-14 22:39:41 +02:00 |
|
|
c3c5ff4ebe
|
Add option to add port to listen on
|
2024-07-14 20:21:07 +02:00 |
|
|
31a54b7389
|
Init repo
|
2024-07-14 19:29:03 +02:00 |
|