add prometheus, simplify server logging

sneeuwballen / benchpress

Testing and benchmarking tool for logic-related programs.

BSD 2-Clause "Simplified" License

26 stars 8 forks source link

Closed c-cube closed 9 months ago

c-cube commented 9 months ago

I've been updating https://benchpress.cedeela.fr/ and did some changes:

metrics via prometheus
fix segfaults occurring via sqlite (do a fold ourselves, not via a sqlite aggregation function)
systemd-friendly logger for the server