From d20f0fcf8860242f785bdb1de32c958887cdc349 Mon Sep 17 00:00:00 2001 From: throwaway Date: Sat, 17 Feb 2024 14:51:05 -0800 Subject: [PATCH] fix numeric values being set as string --- docker/gen_config.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docker/gen_config.php b/docker/gen_config.php index b7e036e..b1cb1e6 100644 --- a/docker/gen_config.php +++ b/docker/gen_config.php @@ -25,6 +25,9 @@ function type_to_string($n) { return $n ? 'true' : 'false'; } if ($type === "string") { + if(is_numeric($n)) { + return $n; + } return "\"$n\""; } if ($type === "array") {