Added option to disable deleting of non empty repositories through the user...

peto268

2014-04-26 99b43dffe86b635e97f625157083cee37ee921bf

 src/main/java/com/gitblit/dagger/DaggerFilter.java

@@ -36,10 +36,10 @@
   public final void init(FilterConfig filterConfig) throws ServletException {

      ServletContext context = filterConfig.getServletContext();

      ObjectGraph objectGraph = (ObjectGraph) context.getAttribute(DaggerContext.INJECTOR_NAME);

      inject(objectGraph);

      inject(objectGraph, filterConfig);

   }



   protected abstract void inject(ObjectGraph dagger);

   protected abstract void inject(ObjectGraph dagger, FilterConfig filterConfig) throws ServletException;



   @Override

   public void destroy() {