tippspiel/pfosten/vendor/symfony/process/ExecutableFinder.php

89 lines
2.5 KiB
PHP
Raw Normal View History

2017-07-03 19:04:27 +02:00
<?php
/*
* This file is part of the Symfony package.
*
* (c) Fabien Potencier <fabien@symfony.com>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace Symfony\Component\Process;
/**
* Generic executable finder.
*
* @author Fabien Potencier <fabien@symfony.com>
* @author Johannes M. Schmitt <schmittjoh@gmail.com>
*/
class ExecutableFinder
{
2020-01-17 10:58:01 +01:00
private $suffixes = ['.exe', '.bat', '.cmd', '.com'];
2017-07-03 19:04:27 +02:00
/**
* Replaces default suffixes of executable.
*/
public function setSuffixes(array $suffixes)
{
$this->suffixes = $suffixes;
}
/**
* Adds new possible suffix to check for executable.
*
* @param string $suffix
*/
public function addSuffix($suffix)
{
$this->suffixes[] = $suffix;
}
/**
* Finds an executable by name.
*
2020-01-17 10:58:01 +01:00
* @param string $name The executable name (without the extension)
* @param string|null $default The default to return if no executable is found
* @param array $extraDirs Additional dirs to check into
2017-07-03 19:04:27 +02:00
*
2020-01-17 10:58:01 +01:00
* @return string|null The executable path or default value
2017-07-03 19:04:27 +02:00
*/
2020-01-17 10:58:01 +01:00
public function find($name, $default = null, array $extraDirs = [])
2017-07-03 19:04:27 +02:00
{
if (ini_get('open_basedir')) {
2020-01-17 10:58:01 +01:00
$searchPath = array_merge(explode(PATH_SEPARATOR, ini_get('open_basedir')), $extraDirs);
$dirs = [];
2017-07-03 19:04:27 +02:00
foreach ($searchPath as $path) {
// Silencing against https://bugs.php.net/69240
if (@is_dir($path)) {
$dirs[] = $path;
} else {
if (basename($path) == $name && @is_executable($path)) {
return $path;
}
}
}
} else {
$dirs = array_merge(
explode(PATH_SEPARATOR, getenv('PATH') ?: getenv('Path')),
$extraDirs
);
}
2020-01-17 10:58:01 +01:00
$suffixes = [''];
2018-08-07 10:42:11 +02:00
if ('\\' === \DIRECTORY_SEPARATOR) {
2017-07-03 19:04:27 +02:00
$pathExt = getenv('PATHEXT');
2018-08-07 10:42:11 +02:00
$suffixes = array_merge($pathExt ? explode(PATH_SEPARATOR, $pathExt) : $this->suffixes, $suffixes);
2017-07-03 19:04:27 +02:00
}
foreach ($suffixes as $suffix) {
foreach ($dirs as $dir) {
2018-08-07 10:42:11 +02:00
if (@is_file($file = $dir.\DIRECTORY_SEPARATOR.$name.$suffix) && ('\\' === \DIRECTORY_SEPARATOR || @is_executable($file))) {
2017-07-03 19:04:27 +02:00
return $file;
}
}
}
return $default;
}
}