Получить имя сигнала из номера сигнала в PHP ⇐ Php

[Anonymous]

Предположим, у меня есть номер сигнала, скажем, 15, как мне вернуть его в имя сигнала? (в Linux 15 — это SIGTERM, поэтому в данном случае при работе в Linux мне нужна строка «SIGTERM»)

Подробнее здесь: https://stackoverflow.com/questions/584 ... ber-in-php