luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-11-02 08:15:28 +01:00
Code Activity

Add MetricsBackend with prometheus counter support

Browse Source
This commit is contained in:
Loic Blot
2020-04-27 08:31:37 +02:00
committed by Loïc Blot
parent a36c9c3e93
commit 56bababcdf
16 changed files with 427 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
builtin/settingtypes.txt
View File

@@ -955,6 +955,12 @@ address (Server address) string
# Note that the port field in the main menu overrides this setting.
remote_port (Remote port) int 30000 1 65535
# Prometheus listener address.
# If minetest is compiled with ENABLE_PROMETHEUS option enabled,
# enable metrics listener for Prometheus on that address.
# Metrics can be fetch on http://127.0.0.1:30000/metrics
prometheus_listener_address (Prometheus listener address) string 127.0.0.1:30000
# Save the map received by the client on disk.
enable_local_map_saving (Saving map received from server) bool false