diff options
| -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") { |