https://www.php-resource.de/en/php-manual/function.sapi-windows-set-ctrl-handler.html