From 2f6300c7a0dd6e3ad1a68e1140666e05c5e9cd20 Mon Sep 17 00:00:00 2001 From: Matt Guthaus Date: Wed, 14 Nov 2018 10:31:33 -0800 Subject: [PATCH] Fix date/time formatting to remove fraction seconds. --- compiler/globals.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/globals.py b/compiler/globals.py index 87695f3f..87763422 100644 --- a/compiler/globals.py +++ b/compiler/globals.py @@ -389,10 +389,10 @@ def import_tech(): def print_time(name, now_time, last_time=None): """ Print a statement about the time delta. """ if last_time: - time = round((now_time-last_time).total_seconds(),1) + time = str(round((now_time-last_time).total_seconds(),1)) + " seconds" else: - time = now_time - print("** {0}: {1} seconds".format(name,time)) + time = now_time.strftime('%m/%d/%Y %H:%M:%S') + print("** {0}: {1}".format(name,time)) def report_status():