a more concise time format

This commit is contained in:
Seth Schoen 2012-11-18 22:25:25 -08:00
parent bcf842e265
commit f67b5656f6

View file

@ -20,7 +20,7 @@ for message in ps.listen():
if message["type"] != "message":
continue
if message["channel"] == "logs":
sys.stdout.write(time.ctime() + " " + message["data"] + "\n")
sys.stdout.write(time.strftime("%b %d %H:%M:%S") + " " + message["data"] + "\n")
sys.stdout.flush()
continue
if message["channel"] == "exit":