From 93d1439e04776bf8dffb7d3d860968be7f107fb2 Mon Sep 17 00:00:00 2001
From: Jimmy Zelinskie <jimmy.zelinskie+git@gmail.com>
Date: Thu, 13 Apr 2017 13:54:20 -0400
Subject: [PATCH] endpoints.web: fix unknown identifier

---
 endpoints/web.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/endpoints/web.py b/endpoints/web.py
index 0f5519f1b..b91e8242e 100644
--- a/endpoints/web.py
+++ b/endpoints/web.py
@@ -734,7 +734,7 @@ def redirect_to_repository(namespace_name, repo_name, tag_name):
     'repo_name': repo_name,
   }
 
-  if not namespace_exists or (namespace_permission and not repo_exists):
+  if not namespace_exists or (namespace_permission and repo is None):
     resp = index('', error_code=404, error_info=json.dumps(error_info))
     resp.status_code = 404
     return resp