Convert date to/from mozilla-specific json format.

[bookmarks_db.git] / Writers / bkmk_wflad.py

diff --git a/Writers/bkmk_wflad.py b/Writers/bkmk_wflad.py
index a82c52ca586244e7024bc18ede089afb775d5ab8..6b6d17458c0e1013b80c4f9d8eae28f5ba45c111 100644 (file)
--- a/Writers/bkmk_wflad.py
+++ b/Writers/bkmk_wflad.py
@@ -18,13 +18,8 @@ from bkmk_objects import Writer
 
 
 def strftime(s):
-   if s is None:
-      return s
-   n = int(s)
-   if n > 10**10:
-      n /= 10**6
    try:
-      return time.strftime("%a %d %b %Y %T", time.localtime(n))
+      return time.strftime("%a %d %b %Y %T", time.localtime(int(s)))
    except (TypeError, ValueError): # s is None or is already formatted
       return s