diff options
Diffstat (limited to 'vendor/symfony/console/SignalRegistry/SignalMap.php')
-rw-r--r-- | vendor/symfony/console/SignalRegistry/SignalMap.php | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/vendor/symfony/console/SignalRegistry/SignalMap.php b/vendor/symfony/console/SignalRegistry/SignalMap.php new file mode 100644 index 0000000..de419bd --- /dev/null +++ b/vendor/symfony/console/SignalRegistry/SignalMap.php | |||
@@ -0,0 +1,36 @@ | |||
1 | <?php | ||
2 | |||
3 | /* | ||
4 | * This file is part of the Symfony package. | ||
5 | * | ||
6 | * (c) Fabien Potencier <fabien@symfony.com> | ||
7 | * | ||
8 | * For the full copyright and license information, please view the LICENSE | ||
9 | * file that was distributed with this source code. | ||
10 | */ | ||
11 | |||
12 | namespace Symfony\Component\Console\SignalRegistry; | ||
13 | |||
14 | /** | ||
15 | * @author Grégoire Pineau <lyrixx@lyrixx.info> | ||
16 | */ | ||
17 | class SignalMap | ||
18 | { | ||
19 | private static array $map; | ||
20 | |||
21 | public static function getSignalName(int $signal): ?string | ||
22 | { | ||
23 | if (!\extension_loaded('pcntl')) { | ||
24 | return null; | ||
25 | } | ||
26 | |||
27 | if (!isset(self::$map)) { | ||
28 | $r = new \ReflectionExtension('pcntl'); | ||
29 | $c = $r->getConstants(); | ||
30 | $map = array_filter($c, fn ($k) => str_starts_with($k, 'SIG') && !str_starts_with($k, 'SIG_'), \ARRAY_FILTER_USE_KEY); | ||
31 | self::$map = array_flip($map); | ||
32 | } | ||
33 | |||
34 | return self::$map[$signal] ?? null; | ||
35 | } | ||
36 | } | ||