diff options
| author | Thomas Müller <thomas.mueller@tmit.eu> | 2016-01-29 18:03:35 +0300 |
|---|---|---|
| committer | Thomas Müller <thomas.mueller@tmit.eu> | 2016-02-01 11:47:13 +0300 |
| commit | 79d2f3186cad9d2412166c9bd414d73dd97cb3d3 (patch) | |
| tree | f1caa583bee36ab5848947f0e027f20921fba50f /console.php | |
| parent | 0202acb926e308dc63aa5d052f30685555b03f65 (diff) | |
Add startup warning that the PCNTL extensions are missing
Diffstat (limited to 'console.php')
| -rw-r--r-- | console.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/console.php b/console.php index 23f40a15437..2073654fa8d 100644 --- a/console.php +++ b/console.php @@ -76,6 +76,10 @@ try { exit(1); } + if (!function_exists('pcntl_signal')) { + 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()); $application->loadCommands(new ConsoleOutput()); $application->run(); |