Make monitor parameters configurable

2025-10-04 21:50:07 +00:00 · 2020-12-02 23:42:33 +01:00
parent 15b63f3cbd
commit c8b011913a
4 changed files with 19 additions and 3 deletions
--- a/config.ini
+++ b/config.ini
@@ -65,3 +65,10 @@ eventcratechance=10
 spawnx=632032
 spawny=187177
 spawnz=-5500
+
+# Player location monitor interface configuration
+[monitor]
+# the port to listen for connections on
+port=8003
+# how often the listeners should be updated (in milliseconds)
+interval=5000