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