webber.py: removed a TODO item: output file will not the modification time

from file.mtime

diff --git a/webber.py b/webber.py
index 3ab917827da945350d452cdf2bc3e03126e20df1..04d0778c00e169e80f436a63d99e9488bcabdf08 100644 (file)
--- a/webber.py
+++ b/webber.py
@@ -707,7 +707,7 @@ def render_files():
                f = open(fname_out, "w")
                f.write(contents)
                f.close()
-               # TODO: Time-Stamps setzen?
+               os.utime(fname_out, (file.mtime, file.mtime))
 
                #print file.mtime, file.get("ctime","?")
                #print direc.keys()