# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1437628835 25200
# Node ID 4a9047850657ccabd38b0a5695168f584a957e5f
# Parent  186a29f61ddc68a123a9161a5e0eee0aa40ffe72
cm: Fix benchmark website generation on Windows.

diff -r 186a29f61ddc -r 4a9047850657 util/generate_benchsite.py
--- a/util/generate_benchsite.py	Wed Jul 22 21:33:15 2015 -0700
+++ b/util/generate_benchsite.py	Wed Jul 22 22:20:35 2015 -0700
@@ -149,9 +149,9 @@
 
     def writePost(self, post_info):
         out_dir = os.path.join(self.out_dir, 'content', 'post')
-        dtstr = post_info['datetime'].strftime('%Y-%m-%d_%H-%M-%S-00:00')
-        with open('%s/%s.md' % (out_dir, dtstr), 'w',
-                  encoding='utf8') as f:
+        dtstr = post_info['datetime'].strftime('%Y-%m-%d_%H-%M-%S')
+        post_path = os.path.join(out_dir, '%s.md' % dtstr)
+        with open(post_path, 'w', encoding='utf8') as f:
             f.write('+++\n')
             f.write('title = "%s"\n' % post_info['title'])
             f.write('description = "%s"\n' % post_info['description'])