From e211dfa1c2f6da28c17353749e319ec8a4ec7a4f Mon Sep 17 00:00:00 2001 From: Fabian Dill Date: Wed, 9 Apr 2025 07:43:28 +0200 Subject: [PATCH] WebHost: use JS to refresh waitSeed if scripting is enabled (#4843) --- WebHostLib/templates/waitSeed.html | 34 +++++++++++++++++++++++++++++- 1 file changed, 33 insertions(+), 1 deletion(-) diff --git a/WebHostLib/templates/waitSeed.html b/WebHostLib/templates/waitSeed.html index 235c2f16..f2729353 100644 --- a/WebHostLib/templates/waitSeed.html +++ b/WebHostLib/templates/waitSeed.html @@ -4,7 +4,9 @@ {% block head %} Generation in Progress - + {% endblock %} @@ -16,4 +18,34 @@ Waiting for game to generate, this page auto-refreshes to check. + {% endblock %}