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

peto268

2014-04-26 99b43dffe86b635e97f625157083cee37ee921bf

 src/main/java/com/gitblit/GitBlitServer.java

@@ -198,7 +198,9 @@
            e.printStackTrace();
         } finally {
            try {
               is.close();
               if (is != null) {
                  is.close();
               }
            } catch (IOException e) {
               e.printStackTrace();
            }