Merge branch 'master' of https://github.com/kwoot/gitblit

James Moger

2013-01-04 8bde5a04d27e32a03e3790e39943d685c40904f7

 src/com/gitblit/GitServlet.java

@@ -124,6 +124,10 @@
            rp.setAllowDeletes(user.canDeleteRef(repository));

            rp.setAllowNonFastForwards(user.canRewindRef(repository));

            

            if (repository.isFrozen) {

               throw new ServiceNotEnabledException();

            }

				
            return rp;

         }

      });