From 67f2ceb717c158771a18e040e062f7aff20e95dd Mon Sep 17 00:00:00 2001
From: Noah Levitt <nlevitt@archive.org>
Date: Fri, 17 Jul 2015 13:30:52 -0700
Subject: [PATCH] make sure timestamp17(), which is part of warc name, always
 returns a 17 digit timestamp (even if millisecond part is <100)

---
 warcprox/warcwriter.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/warcprox/warcwriter.py b/warcprox/warcwriter.py
index f751c69..6af6733 100644
--- a/warcprox/warcwriter.py
+++ b/warcprox/warcwriter.py
@@ -160,7 +160,7 @@ class WarcWriter:
 
     def timestamp17(self):
         now = datetime.utcnow()
-        return '{}{}'.format(now.strftime('%Y%m%d%H%M%S'), now.microsecond//1000)
+        return '{:%Y%m%d%H%M%S}{:03d}'.format(now, now.microsecond//1000)
 
     def close_writer(self):
         if self._fpath: