Merged #67 "Allow disabling repository deletion"

James Moger

2014-05-09 c4a443e8bdd6f85265f4c460686bc44ddc8183e1

 src/main/java/com/gitblit/utils/ObjectCache.java

@@ -54,6 +54,10 @@
      }

   }



   public void clear() {

      cache.clear();

   }



   public boolean hasCurrent(String name, Date date) {

      return cache.containsKey(name) && cache.get(name).date.compareTo(date) == 0;

   }