diff options
| author | Carl Schwan <carl@carlschwan.eu> | 2022-05-24 15:34:20 +0300 |
|---|---|---|
| committer | Carl Schwan <carl@carlschwan.eu> | 2022-05-24 16:04:41 +0300 |
| commit | 98b25b457ee6def8bc2c355fdcbe569b83225645 (patch) | |
| tree | 0d5f0fa97b4eaea91c178c220e52d39f4895159f /console.php | |
| parent | 45a75c631e638ccab8934584aedad834229d10a7 (diff) | |
Improve warning about missing pnctl
Signed-off-by: Carl Schwan <carl@carlschwan.eu>
Diffstat (limited to 'console.php')
| -rw-r--r-- | console.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/console.php b/console.php index 7903ad25c70..147cff151eb 100644 --- a/console.php +++ b/console.php @@ -84,8 +84,9 @@ try { exit(1); } - if (!function_exists('pcntl_signal') && !in_array('--no-warnings', $argv)) { + if (!(function_exists('pcntl_signal') && function_exists('pcntl_signal_dispatch')) && !in_array('--no-warnings', $argv)) { echo "The process control (PCNTL) extensions are required in case you want to interrupt long running commands - see https://www.php.net/manual/en/book.pcntl.php" . PHP_EOL; + echo "Additionally the function 'pcntl_signal' and 'pcntl_signal_dispatch' need to be enabeld in your php.ini." . PHP_EOL; } $application = new Application( |