equal
deleted
inserted
replaced
185 |
185 |
186 parents = self.parents + (self, ) |
186 parents = self.parents + (self, ) |
187 |
187 |
188 for path, file_name, file_type in self.scan(): |
188 for path, file_name, file_type in self.scan(): |
189 # match on name |
189 # match on name |
190 if file_name != name and (file_name + '.' + file_type != name): |
190 if file_name == name: |
|
191 pass |
|
192 elif file_type and (file_name + '.' + file_type == name): |
|
193 pass |
|
194 else: |
191 continue |
195 continue |
192 |
196 |
193 # redirects? |
197 # redirects? |
194 if os.path.islink(path): |
198 if os.path.islink(path): |
195 target = os.readlink(path) |
199 target = os.readlink(path) |