diff --git a/server/plugins-available/nginx_plugin.inc.php b/server/plugins-available/nginx_plugin.inc.php index bec59fddc40f38525cb7f6d35ab982f8c4b7a053..ad2ceeafddb7f92b6fe410bbdba03a0ea294ef6a 100644 --- a/server/plugins-available/nginx_plugin.inc.php +++ b/server/plugins-available/nginx_plugin.inc.php @@ -3033,6 +3033,13 @@ class nginx_plugin { if(substr($ini_setting, 0, 1) == ';') continue; if(substr($ini_setting, 0, 1) == '#') continue; if(substr($ini_setting, 0, 2) == '//') continue; + // if first 4 letters are 'POOL' - do not wrap key in `php_admin_value[$key]` + // just set as is (withoutPOOL prefix) - and include in settings + if(substr($ini_setting, 0, 4) == 'POOL'){ + $ini_setting = str_replace('POOL', '', $ini_setting) ; + $final_php_ini_settings[] = array('ini_setting' => $ini_setting); + continue; + } list($key, $value) = explode('=', $ini_setting, 2); $value = trim($value); if($value != ''){