src/do-refresh-auth
changeset 62 f1e319d3672a
parent 50 77d97aa18f29
child 67 fd16d9a1234b
--- a/src/do-refresh-auth	Fri Feb 20 17:34:30 2009 +0000
+++ b/src/do-refresh-auth	Tue Feb 24 09:49:29 2009 +0000
@@ -63,4 +63,3 @@
 akeys.close()
 
 os.rename(akeyfile + "_new", akeyfile)
-