Fix error No repo found for user

pydio · Apr 12, 2017 · 8619edb · 8619edb
1 parent 01d4133
commit 8619edb
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/core/src/core/src/pydio/Core/Services/UsersService.php b/core/src/core/src/pydio/Core/Services/UsersService.php
@@ -164,7 +164,7 @@ public static function getRepositoriesForUser($user, $includeShared = true, $det
         }
         $self = self::instance();
         $repos = $self->getFromCaches($user->getId());
-        if($repos !== null) {
+        if(!empty($repos)) {
             $userRepos =  $repos;
         } else{
             $list = new FilteredRepositoriesList($user);
@@ -204,10 +204,10 @@ private function setInCache($userId, $repoList){
      */
     private function getFromCaches($userId){
 
-        $fromSesssion = SessionService::getLoadedRepositories();
-        if($fromSesssion !== null){
-            $this->repositoriesCache[$userId] = $fromSesssion;
-            return $fromSesssion;
+        $fromSession = SessionService::getLoadedRepositories();
+        if($fromSession !== null && is_array($fromSession) && count($fromSession)){
+            $this->repositoriesCache[$userId] = $fromSession;
+            return $fromSession;
         }
         if(isSet($this->repositoriesCache[$userId])) {
             $configsNotCorrupted = array_reduce($this->repositoriesCache[$userId], function($carry, $item){ return $carry && is_object($item) && ($item instanceof RepositoryInterface); }, true);