From 697905cbf3b6fc1d8f22322a4f403b4abe2f0c0a Mon Sep 17 00:00:00 2001
From: Paul Martin <paul@paulsputer.com>
Date: Mon, 07 Dec 2015 18:09:26 -0500
Subject: [PATCH] fix for #967 filestore menu for all users
---
src/main/java/com/gitblit/models/FilestoreModel.java | 9 +++++++++
1 files changed, 9 insertions(+), 0 deletions(-)
diff --git a/src/main/java/com/gitblit/models/FilestoreModel.java b/src/main/java/com/gitblit/models/FilestoreModel.java
index ff7b210..4144df6 100644
--- a/src/main/java/com/gitblit/models/FilestoreModel.java
+++ b/src/main/java/com/gitblit/models/FilestoreModel.java
@@ -111,6 +111,15 @@
repositories.remove(repo);
}
+ public synchronized boolean isInRepositoryList(List<String> repoList) {
+ for (String name : repositories) {
+ if (repoList.contains(name)) {
+ return true;
+ }
+ }
+ return false;
+ }
+
public static enum Status {
Deleted(-30),
--
Gitblit v1.9.1