diff --git a/module/repo/model.php b/module/repo/model.php index 35a0ef692c..fa84155159 100644 --- a/module/repo/model.php +++ b/module/repo/model.php @@ -65,7 +65,7 @@ class repoModel extends model public function setMenu(array $repos, int $repoID = 0) { if(empty($repoID)) $repoID = $this->session->repoID ? $this->session->repoID : key($repos); - if($repos && !isset($repos[$repoID])) $repoID = key($repos); + if(!isset($repos[$repoID])) $repoID = key($repos); /* Check the privilege. */ if($repoID)