# HG changeset patch
# User Franz Glasner <hg@dom66.de>
# Date 1539705412 -7200
# Node ID bfb41de4584d80a9b1ffcc212554303bc728dda0
# Parent  1ce805370b1e0fc9773cfb8982abf86b37eda878
Write the database outside the special float times context

diff -r 1ce805370b1e -r bfb41de4584d extensions/timestamps.py
--- a/extensions/timestamps.py	Tue Oct 16 16:57:14 2018 +0200
+++ b/extensions/timestamps.py	Tue Oct 16 17:56:52 2018 +0200
@@ -174,8 +174,8 @@
             if matcher(fn):
                 st = os.lstat(repo.wjoin(fn))
                 ts[fn] = to_isoformat(st.st_mtime)
-        with io.open(repo.wjoin(TIMESTAMPS_DATABASE), "wb") as fp:
-            ts.write(fp)
+    with io.open(repo.wjoin(TIMESTAMPS_DATABASE), "wb") as fp:
+        ts.write(fp)
 
 
 def restore_timestamps(ui, repo, ctx,