| changeset 8109 | 496ae1ea4698 |
| parent 7902 | afddc32b2b3f |
| child 8152 | 08e1baf924ca |
| 8108:a26d33749bd8 | 8109:496ae1ea4698 |
|---|---|
138 for kind in state: |
138 for kind in state: |
139 for node in state[kind]: |
139 for node in state[kind]: |
140 f.write("%s %s\n" % (kind, hex(node))) |
140 f.write("%s %s\n" % (kind, hex(node))) |
141 f.rename() |
141 f.rename() |
142 finally: |
142 finally: |
143 del wlock |
143 wlock.release() |
144 |
144 |