Signal catching in PHP

SignalCatching.php

<?php
// turn on signal catching
pcntl_async_signals(true);
// handler
$sigHandler = static function(): void {
    // do some cleanup
    // report to user, whatever
    // ...
    exit(0);
};
// assign the handler to a signal
if (!pcntl_signal(SIGINT, $sigHandler)) { // SIGINT
    // do some cleanup or report
    exit(1);
}