123456789101112131415161718192021222324252627282930313233343536 |
- <?php
- namespace Symfony\Component\Console\SignalRegistry;
- class SignalMap
- {
- private static array $map;
- public static function getSignalName(int $signal): ?string
- {
- if (!\extension_loaded('pcntl')) {
- return null;
- }
- if (!isset(self::$map)) {
- $r = new \ReflectionExtension('pcntl');
- $c = $r->getConstants();
- $map = array_filter($c, fn ($k) => str_starts_with($k, 'SIG') && !str_starts_with($k, 'SIG_'), \ARRAY_FILTER_USE_KEY);
- self::$map = array_flip($map);
- }
- return self::$map[$signal] ?? null;
- }
- }
|