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

peto268

2014-04-26 99b43dffe86b635e97f625157083cee37ee921bf

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

@@ -61,7 +61,7 @@
   @Override
   public final void contextDestroyed(ServletContextEvent contextEvent) {
      ServletContext context = contextEvent.getServletContext();
      context.setAttribute(INJECTOR_NAME, null);
      context.removeAttribute(INJECTOR_NAME);
      destroyContext(context);
   }
}