diff options
-rw-r--r-- | console.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/console.php b/console.php index f6fba14b7f9..6d3ab20bc16 100644 --- a/console.php +++ b/console.php @@ -23,6 +23,10 @@ try { } if (!OC_Util::runningOnWindows()) { + if (!function_exists('posix_getuid')) { + echo "The posix extensions are required - see http://php.net/manual/en/book.posix.php" . PHP_EOL; + exit(0); + } $user = posix_getpwuid(posix_getuid()); $configUser = posix_getpwuid(fileowner(OC::$SERVERROOT . '/config/config.php')); if ($user['name'] !== $configUser['name']) { |