# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1653316076 -7200
# Node ID ee665dca07fa529ca63f6e8b58250f17d2873fee
# Parent  97622e9560b51d8588e9d82fc0729d70dd777c1d
IDE: better permission checking when opening a project.

diff -r 97622e9560b5 -r ee665dca07fa util/misc.py
--- a/util/misc.py	Fri May 06 11:04:17 2022 +0200
+++ b/util/misc.py	Mon May 23 16:27:56 2022 +0200
@@ -42,8 +42,10 @@
     for root, dirs, files in os.walk(path):
         files = [f for f in files if not f[0] == '.']
         dirs[:] = [d for d in dirs if not d[0] == '.']
-        for name in files:
-            if os.access(root, os.W_OK) is not True or os.access(os.path.join(root, name), os.W_OK) is not True:
+        if os.access(root, os.W_OK) is not True:
+            return False
+        for name in dirs + files:
+            if os.access(os.path.join(root, name), os.W_OK) is not True:
                 return False
     return True