From dbc0831e24e391a78e490b892e958a05d7e95116 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Thu, 19 May 2011 17:18:29 -0400
Subject: [PATCH] Documentation tweak.

---
 src/com/gitblit/GitBlitServlet.java |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/com/gitblit/GitBlitServlet.java b/src/com/gitblit/GitBlitServlet.java
index ffdc1b0..17642c6 100644
--- a/src/com/gitblit/GitBlitServlet.java
+++ b/src/com/gitblit/GitBlitServlet.java
@@ -44,12 +44,12 @@
 			String function = url.substring(forwardSlash + 1);
 			String query = req.getQueryString();
 			RepositoryModel model = GitBlit.self().getRepositoryModel(repository);
-			if (model != null) {
-				if (model.accessRestriction.atLeast(AccessRestrictionType.PUSH)) {
+			if (model != null) {				
+				if (model.isFrozen || model.accessRestriction.atLeast(AccessRestrictionType.PUSH)) {
 					boolean authorizedUser = req.isUserInRole(repository);
 					if (function.startsWith("git-receive-pack") || (query.indexOf("service=git-receive-pack") > -1)) {
 						// Push request
-						if (authorizedUser) {
+						if (!model.isFrozen && authorizedUser) {
 							// clone-restricted or push-authorized
 							super.service(req, rsp);
 							return;

--
Gitblit v1.9.1