diff options
Diffstat (limited to 'docker/gen_config.php')
| -rw-r--r-- | docker/gen_config.php | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/docker/gen_config.php b/docker/gen_config.php index b7e036e..dff39cb 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") { @@ -49,7 +52,7 @@ function detect_captcha_dirs() { } -$special_keys = ["CAPTCHA_DATASET"]; +$special_keys = ["CAPTCHA_DATASET", "INSTANCES"]; $output = "<?php\n // This file was generated by docker/gen_config.php\n"; @@ -61,8 +64,11 @@ continue; } -if($key === "CAPTCHA_DATASET") { - $output = $output . "\tconst " . $key . " = " . type_to_string(detect_captcha_dirs()) . ";\n"; + if($key === "CAPTCHA_DATASET") { + $output = $output . "\tconst " . $key . " = " . type_to_string(detect_captcha_dirs()) . ";\n"; + } + if($key === "INSTANCES") { + $output = $output . "\tconst " . $key . " = " . type_to_string(explode(',', $val)) . ";\n"; } } |