diff --git a/console.php b/console.php index 72f961515d7..fc571b03f1e 100644 --- a/console.php +++ b/console.php @@ -79,6 +79,10 @@ try { exit(1); } + 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; + } + $application = new Application(\OC::$server->getConfig(), \OC::$server->getEventDispatcher(), \OC::$server->getRequest()); $application->loadCommands(new ArgvInput(), new ConsoleOutput()); $application->run();