# HG changeset patch
# User Nicolas DURAND <nicolas.durand@iri.centrepompidou.fr>
# Date 1420554068 -3600
# Node ID 612f669ce3d0e8434007d10603bc6b4e2cf674d0
# Parent  877c3b66313ac5fb05135f2ec5766ed8ee6d2176
Quick fix on user editing privilege check

diff -r 877c3b66313a -r 612f669ce3d0 src/catedit/views.py
--- a/src/catedit/views.py	Tue Jan 06 15:01:45 2015 +0100
+++ b/src/catedit/views.py	Tue Jan 06 15:21:08 2015 +0100
@@ -514,8 +514,9 @@
         for repo in repo_list:
             logger.debug(repo["name"])
         session["user_can_edit"] = True
-        if not any(repo["name"] not in app.config["REPOSITORY_LIST"]
-                   for repo in repo_list):
+        user_repos_name = [repo["name"] for repo in repo_list]
+        logger.debug(str(user_repos_name)+" "+str(app.config["REPOSITORY_LIST"]))
+        if not all((repo in user_repos_name) for repo in app.config["REPOSITORY_LIST"]):
             session["user_can_edit"] = False
         logger.debug(session["user_can_edit"])
     except GitHubError as ghe:
@@ -523,7 +524,7 @@
             "GitHubError trying to get the list of repository for user "
             + session["user_login"]
         )
-        logger.debug(ghe.request.text)
+        logger.debug(ghe.response.text)
     return redirect(url_for('cat_index'))