equal
deleted
inserted
replaced
63 writer.write_obj(self) |
63 writer.write_obj(self) |
64 |
64 |
65 def write (self) : |
65 def write (self) : |
66 """ |
66 """ |
67 Write out a new config file with this config's stuff using the following procedure: |
67 Write out a new config file with this config's stuff using the following procedure: |
|
68 |
68 * lock the real file |
69 * lock the real file |
69 * open a new temporary file, and write out the objects into that, closing it |
70 * open a new temporary file, and write out the objects into that, closing it |
70 * move the real file out of the way |
71 * move the real file out of the way |
71 * move the temporary file into the real file's place |
72 * move the temporary file into the real file's place |
72 * unlock the real file |
73 * unlock the real file |