Fix the time_stamp_format and the timestamp pickler for time-1.4.2.

[dead/htsn-import.git] / src / TSN / Picklers.hs

diff --git a/src/TSN/Picklers.hs b/src/TSN/Picklers.hs
index 09c3a3b1000ac983251108afb5e570bdb40eb8c5..70fa07dfac7976af3f16c8748b8863572ed13d44 100644 (file)
--- a/src/TSN/Picklers.hs
+++ b/src/TSN/Picklers.hs
@@ -474,9 +474,12 @@ xp_time_stamp :: PU UTCTime
 xp_time_stamp =
   (parse_time_stamp, from_time_stamp) `xpWrapMaybe` xpText
   where
+    -- | We have to re-pad the time_stamp_format with a leading and
+    --   trailing space; see the documentation of 'time_stamp_format'
+    --   for more information.
     from_time_stamp :: UTCTime -> String
     from_time_stamp =
-      formatTime defaultTimeLocale time_stamp_format
+      formatTime defaultTimeLocale (" " ++ time_stamp_format ++ " ")