diff options
| author | Andrei Karas <akaras@inbox.ru> | 2014-04-21 15:37:20 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2014-04-21 15:37:20 +0300 |
| commit | 1bd37659cfd6cf6c4a0fd3074362829c050a78cf (patch) | |
| tree | 873b9afb26225aefb3a395eda8536e5b1b383785 /testxml | |
| parent | 307be3c2a50981433fb8d1233a7aa1027df81e1f (diff) | |
| download | evol-tools-1bd37659cfd6cf6c4a0fd3074362829c050a78cf.tar.gz evol-tools-1bd37659cfd6cf6c4a0fd3074362829c050a78cf.tar.bz2 evol-tools-1bd37659cfd6cf6c4a0fd3074362829c050a78cf.tar.xz evol-tools-1bd37659cfd6cf6c4a0fd3074362829c050a78cf.zip | |
testxml: Fix crash with broken soft link in directory.
Diffstat (limited to 'testxml')
| -rwxr-xr-x | testxml/testxml.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/testxml/testxml.py b/testxml/testxml.py index 7066b51..8ce33be 100755 --- a/testxml/testxml.py +++ b/testxml/testxml.py @@ -147,7 +147,12 @@ def showFooter(): def enumDirs(parentDir): global warnings, errors - files = os.listdir(parentDir) + try: + files = os.listdir(parentDir) + except OSError: + print "Directory error: " + parentDir + warnings = warnings + 1 + return for file1 in files: if file1[0] == ".": continue |