| changeset 6891 | 22cb82433842 |
| parent 6872 | c7cc40fd74f6 |
| child 6912 | b92baef99ebf |
| 6890:fddef0602859 | 6891:22cb82433842 |
|---|---|
1351 if inst.errno != errno.ENOENT: |
1351 if inst.errno != errno.ENOENT: |
1352 raise |
1352 raise |
1353 di = 0 |
1353 di = 0 |
1354 |
1354 |
1355 return (dd, di) |
1355 return (dd, di) |
1356 |
|
1357 def files(self): |
|
1358 res = [ self.indexfile ] |
|
1359 if not self._inline: |
|
1360 res.append(self.datafile) |
|
1361 return res |