| changeset 154 | e9eef49f4d57 |
| parent 153 | 55f3d3bc95d3 |
| child 164 | e1e0c8099c8b |
| 153:55f3d3bc95d3 | 154:e9eef49f4d57 |
|---|---|
25 if name.startswith('.'): |
25 if name.startswith('.'): |
26 continue |
26 continue |
27 |
27 |
28 # show dirs |
28 # show dirs |
29 if os.path.isdir(path): |
29 if os.path.isdir(path): |
30 if not os.access(path, os.R_OK): |
|
31 # skip inaccessible dirs |
|
32 continue |
|
33 |
|
30 yield name + '/' |
34 yield name + '/' |
31 |
35 |
32 # examine ext |
36 # examine ext |
33 if '.' in name: |
37 if '.' in name: |
34 name_base, name_type = name.rsplit('.', 1) |
38 name_base, name_type = name.rsplit('.', 1) |