diff options
-rw-r--r-- | apps/files_sharing/appinfo/update.php | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/apps/files_sharing/appinfo/update.php b/apps/files_sharing/appinfo/update.php index e393b1575af..2d2d78a6454 100644 --- a/apps/files_sharing/appinfo/update.php +++ b/apps/files_sharing/appinfo/update.php @@ -87,8 +87,14 @@ function removeSharedFolder($mkdirs = true, $chunkSize = 99) { // create folder Shared for each user if ($mkdirs) { + $logger = \OC::$server->getLogger(); foreach ($unique_users as $user) { - \OC\Files\Filesystem::initMountPoints($user); + try { + \OC\Files\Filesystem::initMountPoints($user); + } catch(\OC\User\NoUserException $e) { + $logger->warning("Update: removeSharedFolder - user '$user' is not present anymore" , array('app' => 'files_sharing')); + continue; + } if (!$view->file_exists('/' . $user . '/files/Shared')) { $view->mkdir('/' . $user . '/files/Shared'); } |