diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/gen_config.php | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/docker/gen_config.php b/docker/gen_config.php index b1cb1e6..dff39cb 100644 --- a/docker/gen_config.php +++ b/docker/gen_config.php @@ -52,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"; @@ -64,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"; } } |