diff options
| author | throwaway <developerthrowaway@protonmail.com> | 2024-02-17 14:51:05 -0800 |
|---|---|---|
| committer | throwaway <developerthrowaway@protonmail.com> | 2024-02-17 15:21:42 -0800 |
| commit | d20f0fcf8860242f785bdb1de32c958887cdc349 (patch) | |
| tree | 7ba3799df45cd9897e88e3540f5646ad41e0b94a | |
| parent | b078751e5b6465a388673f45925fa2f4ec3a6443 (diff) | |
fix numeric values being set as string
| -rw-r--r-- | docker/gen_config.php | 3 |
1 files changed, 3 insertions, 0 deletions
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") { |