Jeroen Baten
2013-01-04 0d93c00b3cce518b2c66f182e3e589f741dc23d0
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;
         }
      });