conf.py
changeset 4 8b633782f02d
parent 3 ff98fa9b84ce
--- a/conf.py	Thu Apr 02 21:11:01 2009 +0300
+++ b/conf.py	Thu Apr 02 22:52:26 2009 +0300
@@ -65,6 +65,7 @@
     def write (self) :
         """
             Write out a new config file with this config's stuff using the following procedure:
+
                 * lock the real file
                 * open a new temporary file, and write out the objects into that, closing it
                 * move the real file out of the way