From ceb1d9b1bb01e75f03742b1891fa6d93aa100988 Mon Sep 17 00:00:00 2001 From: tdurieux Date: Tue, 25 Feb 2020 11:33:13 +0100 Subject: [PATCH] fix(#28): fix date formating in json --- server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server.py b/server.py index 9a033e6..22a8c06 100644 --- a/server.py +++ b/server.py @@ -462,7 +462,7 @@ class Anonymous_Github: commit_date = datetime.strptime(g_commit.last_modified, "%a, %d %b %Y %H:%M:%S %Z") repository_configuration["pushed_at"] = commit_date.strftime("%s") with open(config_path, 'w') as fa: - json.dump(repository_configuration, fa) + json.dump(repository_configuration, fa, default=json_util.default) cache_path = os.path.join(self.config_dir, id, "cache") if os.path.isfile(os.path.join(cache_path, path)):