diff options
| -rw-r--r-- | console.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/console.php b/console.php index eb6c84c3cf8..3c25be34fe4 100644 --- a/console.php +++ b/console.php @@ -77,7 +77,7 @@ try { exit(1); } - if (!function_exists('pcntl_signal')) { + if (!function_exists('pcntl_signal') && !in_array('--no-warnings', $argv)) { echo "The process control (PCNTL) extensions are required in case you want to interrupt long running commands - see http://php.net/manual/en/book.pcntl.php" . PHP_EOL; } |