(refs #142)Fix NoSuchElementException for empty repository.

This commit is contained in:
takezoe
2013-10-11 02:42:07 +09:00
parent c16b89b0be
commit cf79ac1069
2 changed files with 10 additions and 6 deletions

View File

@@ -453,10 +453,11 @@ object JGitUtil {
def getDefaultBranch(git: Git, repository: RepositoryService.RepositoryInfo,
revstr: String = ""): Option[(ObjectId, String)] = {
Seq(
if(revstr.isEmpty) repository.repository.defaultBranch else revstr,
repository.branchList.head
).map { rev =>
(git.getRepository.resolve(rev), rev)
Some(if(revstr.isEmpty) repository.repository.defaultBranch else revstr),
repository.branchList.headOption
).flatMap {
case Some(rev) => Some((git.getRepository.resolve(rev), rev))
case None => None
}.find(_._1 != null)
}