From bc94015735f64d7842b6ee0c02acc35f1df09f73 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sven=20M=C3=A4der?= <maeder@phys.ethz.ch>
Date: Mon, 20 Aug 2018 16:39:45 +0200
Subject: [PATCH] Check if directory
---
bin/check-home-permissions.py | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/bin/check-home-permissions.py b/bin/check-home-permissions.py
index e78667e..990ea1f 100755
--- a/bin/check-home-permissions.py
+++ b/bin/check-home-permissions.py
@@ -49,8 +49,12 @@ class Home(object):
def check_homes(top):
+ if not os.path.isdir(top):
+ return
for f in os.listdir(top):
pathname = os.path.join(top, f)
+ if not os.path.isdir(pathname):
+ continue
st = os.stat(pathname)
home = Home(f, pathname, st)
--
GitLab