Skip to content

Commit

Permalink
Fix NPE on server info page.
Browse files Browse the repository at this point in the history
  • Loading branch information
jan-niestadt committed Jun 18, 2024
1 parent ea75a8f commit 334f636
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -446,8 +446,8 @@ public synchronized List<Index> getAllAvailableCorpora(User user) {

// Sort own indexes before other's
if (ownPrefix != null) {
boolean isOwn1 = o1.getUserId().startsWith(ownPrefix);
boolean isOwn2 = o2.getUserId().startsWith(ownPrefix);
boolean isOwn1 = o1.getUserId() == null ? false : o1.getUserId().startsWith(ownPrefix);
boolean isOwn2 = o2.getUserId() == null ? false : o2.getUserId().startsWith(ownPrefix);
if (isOwn1 != isOwn2)
return isOwn1 ? -1 : 1;
}
Expand Down

0 comments on commit 334f636

Please sign in to comment.