refresh-auth
changeset 15 f3654416d178
parent 11 f3c73c9fc0ff
child 16 9fac559c3d55
--- a/refresh-auth	Fri Apr 18 10:18:35 2008 +0100
+++ b/refresh-auth	Fri Apr 18 12:36:36 2008 +0100
@@ -35,6 +35,7 @@
                 akeys.write("%s %s\n" % (prefix, l.strip()))
         finally:
             kf.close()
+akeys.close()
 
 os.rename(akeyfile + "_new", akeyfile)