| changeset 44452 | 9d2b2df2c2ba |
| parent 43076 | 2372284d9457 |
| child 48875 | 6000f5b25c9b |
| 44449:ff72bd52d56a | 44452:9d2b2df2c2ba |
|---|---|
163 path2 = gettemppath() |
163 path2 = gettemppath() |
164 rm2.path = path2 |
164 rm2.path = path2 |
165 rm2.flush() |
165 rm2.flush() |
166 |
166 |
167 # two files should be the same |
167 # two files should be the same |
168 ensure(len(set(util.readfile(p) for p in [path, path2])) == 1) |
168 ensure(len({util.readfile(p) for p in [path, path2]}) == 1) |
169 |
169 |
170 os.unlink(path) |
170 os.unlink(path) |
171 os.unlink(path2) |
171 os.unlink(path2) |
172 |
172 |
173 |
173 |