12345678910111213141516171819202122232425262728293031323334353637 |
- <?php
- function handleSignal($signal)
- {
- switch ($signal) {
- case SIGTERM:
- $name = 'SIGTERM';
- break;
- case SIGINT:
- $name = 'SIGINT';
- break;
- default:
- $name = $signal . ' (unknown)';
- break;
- }
- echo "received signal $name\n";
- }
- declare(ticks=1);
- pcntl_signal(SIGTERM, 'handleSignal');
- pcntl_signal(SIGINT, 'handleSignal');
- $duration = isset($argv[1]) ? (int) $argv[1] : 3;
- $start = microtime(true);
- while ($duration > (microtime(true) - $start)) {
- usleep(1000);
- }
|