D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
proc
/
self
/
root
/
opt
/
psa
/
admin
/
plib
/
modules
/
mfa
/
vendor
/
symfony
/
console
/
SignalRegistry
/
Filename :
SignalMap.php
back
Copy
<?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\Console\SignalRegistry; /** * @author Grégoire Pineau <lyrixx@lyrixx.info> */ 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; } }