diff -r 5a6b6e770365 -r 68c69c656a2c web/lib/Zend/Service/Console/Command/ParameterSource/Env.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/lib/Zend/Service/Console/Command/ParameterSource/Env.php Thu May 07 15:16:02 2015 +0200 @@ -0,0 +1,75 @@ +aliases as $alias) { + while (strpos($alias, '-') !== false) { + $alias = substr($alias, 1); + } + $value = getenv($alias); + + if (!is_null($value) && $value !== false) { + $parameterValue = $value; + break; + } + } + + if (strtolower($parameterValue) == 'true') { + $parameterValue = true; + } else if (strtolower($parameterValue) == 'false') { + $parameterValue = false; + } + + // Done! + return $parameterValue; + } +}