From f45c04235101e83f6b18ec26eb609d0ec56634b3 Mon Sep 17 00:00:00 2001
From: Chris Wilson <chris@legendserver.info>
Date: Sun, 25 Jul 2021 18:18:15 -0400
Subject: [PATCH] Include range options in generated JSON files for
 player-settings

---
 WebHostLib/options.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/WebHostLib/options.py b/WebHostLib/options.py
index 30c89ba8..f27a407b 100644
--- a/WebHostLib/options.py
+++ b/WebHostLib/options.py
@@ -48,6 +48,16 @@ def create():
 
                 game_options[option_name] = this_option
 
+            elif hasattr(option, "range_start") and hasattr(option, "range_end"):
+                game_options[option_name] = {
+                    "type": "range",
+                    "friendlyName": option.friendly_name if hasattr(option, "friendly_name") else option_name,
+                    "description": option.__doc__ if option.__doc__ else "Please document me!",
+                    "defaultValue": option.default if hasattr(option, "default") else None,
+                    "min": option.range_start,
+                    "max": option.range_end,
+                }
+
         player_settings["gameOptions"] = game_options
 
         with open(os.path.join(target_folder, game_name + ".json"), "w") as f: