From 546d83bf1db2b97b86adc2a8822c0ab953af2dd7 Mon Sep 17 00:00:00 2001
From: Hamcha <hamcha@crunchy.rocks>
Date: Tue, 14 Jul 2020 09:21:52 +0200
Subject: [PATCH] Refresh master server entries every 5 seconds

---
 Scenes/Menu.gd | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Scenes/Menu.gd b/Scenes/Menu.gd
index 2ef88b3..90cd2ec 100644
--- a/Scenes/Menu.gd
+++ b/Scenes/Menu.gd
@@ -1,10 +1,13 @@
 extends Control
 
+const REFRESH_SERVER_DELAY = 5.0
+
 export var scale = 4 setget set_scale
 export var upThreshold = 1.0/59.0
 export var downThreshold = 1.0/30.0
 
 export var delay = 1.0
+export var refresh_server_remaining = REFRESH_SERVER_DELAY
 
 onready var viewport = $Viewport
 onready var background = $Background
@@ -20,6 +23,10 @@ func _ready() -> void:
 	request_servers()
 
 func _process(delta: float) -> void:
+	refresh_server_remaining -= delta
+	if refresh_server_remaining <= 0:
+		request_servers()
+		refresh_server_remaining = REFRESH_SERVER_DELAY
 	# Give the system time to adjust
 	if delay > 0:
 		delay -= delta