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

peto268

2014-04-26 99b43dffe86b635e97f625157083cee37ee921bf

 src/main/java/com/gitblit/transport/ssh/commands/SshCommand.java

@@ -85,5 +85,5 @@
      }
   }

   protected abstract void run() throws UnloggedFailure, Failure, Exception;
   protected abstract void run() throws Failure, Exception;
}