diff -r 5a6b6e770365 -r 68c69c656a2c web/lib/Zend/Service/Console/Command/ParameterSource/Argv.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/lib/Zend/Service/Console/Command/ParameterSource/Argv.php Thu May 07 15:16:02 2015 +0200 @@ -0,0 +1,71 @@ +aliases)) { + $parameterValue = isset($parameterInput[1]) ? $parameterInput[1] : true; + break; + } + } + if (strtolower($parameterValue) == 'true') { + $parameterValue = true; + } else if (strtolower($parameterValue) == 'false') { + $parameterValue = false; + } + + // Done! + return $parameterValue; + } +}