diff -r 39e3db2b4936 -r eefe954f01e8 eric6/DebugClients/Python/coverage/html.py --- a/eric6/DebugClients/Python/coverage/html.py Sun Jul 05 11:11:24 2020 +0200 +++ b/eric6/DebugClients/Python/coverage/html.py Sun Oct 18 12:35:30 2020 +0200 @@ -11,7 +11,7 @@ import coverage from coverage import env -from coverage.backward import iitems, SimpleNamespace +from coverage.backward import iitems, SimpleNamespace, format_local_datetime from coverage.data import add_data_to_hash from coverage.files import flat_rootname from coverage.misc import CoverageException, ensure_dir, file_be_gone, Hasher, isolate_module @@ -200,7 +200,7 @@ '__url__': coverage.__url__, '__version__': coverage.__version__, 'title': title, - 'time_stamp': datetime.datetime.now().strftime('%Y-%m-%d %H:%M'), + 'time_stamp': format_local_datetime(datetime.datetime.now()), 'extra_css': self.extra_css, 'has_arcs': self.has_arcs, 'show_contexts': self.config.show_contexts,