diff --git a/src/Manager.php b/src/Manager.php index cedc414..73a03a5 100644 --- a/src/Manager.php +++ b/src/Manager.php @@ -38,7 +38,7 @@ public function run(Settings $settings = null) $settings = $settings ?: new Settings(); $output = $this->output ?: $this->getDefaultOutput($settings); - $phpExecutable = PhpExecutable::getPhpExecutable($settings->phpExecutable); + $phpExecutable = PhpExecutable::getPhpExecutable(escapeshellarg($settings->phpExecutable)); $olderThanPhp54 = $phpExecutable->getVersionId() < 50400; // From PHP version 5.4 are tokens translated by default $translateTokens = $phpExecutable->isIsHhvmType() || $olderThanPhp54;