Commit f28d6d41 authored by Jeremy Hylton's avatar Jeremy Hylton

Change log_time() to use localtime instead of GMT.

Also change to use time.localtime() instead of calling time.time()
first.  This is a Python 2.1-ism.

Per request by Andreas Jung.
parent 8595ffb2
...@@ -11,7 +11,7 @@ ...@@ -11,7 +11,7 @@
# FOR A PARTICULAR PURPOSE # FOR A PARTICULAR PURPOSE
# #
############################################################################## ##############################################################################
__version__='$Revision: 1.6 $'[11:-2] __version__='$Revision: 1.7 $'[11:-2]
import os, sys, time import os, sys, time
...@@ -37,7 +37,7 @@ def log_time(): ...@@ -37,7 +37,7 @@ def log_time():
"""Return a simple time string without spaces suitable for logging """Return a simple time string without spaces suitable for logging
""" """
return ("%4.4d-%2.2d-%2.2dT%2.2d:%2.2d:%2.2d" return ("%4.4d-%2.2d-%2.2dT%2.2d:%2.2d:%2.2d"
% time.gmtime(time.time())[:6]) % time.localtime()[:6])
def _set_log_dest(dest): def _set_log_dest(dest):
global _log_dest global _log_dest
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment