| changeset 15 | f3654416d178 |
| parent 11 | f3c73c9fc0ff |
| child 16 | 9fac559c3d55 |
| 14:e7d5254cd0ca | 15:f3654416d178 |
|---|---|
33 try: |
33 try: |
34 for l in kf: |
34 for l in kf: |
35 akeys.write("%s %s\n" % (prefix, l.strip())) |
35 akeys.write("%s %s\n" % (prefix, l.strip())) |
36 finally: |
36 finally: |
37 kf.close() |
37 kf.close() |
38 akeys.close() |
|
38 |
39 |
39 os.rename(akeyfile + "_new", akeyfile) |
40 os.rename(akeyfile + "_new", akeyfile) |
40 |
41 |