Merged #150 "Edit repo drops missing owners from owners list"

James Moger

2014-09-04 3a916413835a92706394ec55f177eeb23f709d89

 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;

   }