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

peto268

2014-04-26 99b43dffe86b635e97f625157083cee37ee921bf

 src/main/java/com/gitblit/transport/ssh/DisabledFilesystemFactory.java

@@ -36,6 +36,11 @@
         public SshFile getFile(String file) {
            return null;
         }

         @Override
         public FileSystemView getNormalizedView() {
            return null;
         }
      };
   }
}