From 72347517b2fd1ebc7219321c85eb2ce40b03d4a7 Mon Sep 17 00:00:00 2001 From: Rhidian De Wit Date: Thu, 17 Jul 2025 20:17:52 +0200 Subject: [PATCH] Fix missing bool to string cast causing errors --- share/tools/web_config/webconfig.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/tools/web_config/webconfig.py b/share/tools/web_config/webconfig.py index 533d08002..900be101c 100755 --- a/share/tools/web_config/webconfig.py +++ b/share/tools/web_config/webconfig.py @@ -315,7 +315,7 @@ def unparse_color(col): if col["bold"]: ret += " --bold" if col["underline"] is not None: - ret += " --underline=" + col["underline"] + ret += " --underline=" + str(col["underline"]) if col["italics"]: ret += " --italics" if col["dim"]: