From f67b5656f623b2835c305bf8190044de125a61a5 Mon Sep 17 00:00:00 2001
From: Seth Schoen <schoen@eff.org>
Date: Sun, 18 Nov 2012 22:25:25 -0800
Subject: [PATCH] a more concise time format

---
 server-ca/logging-daemon.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server-ca/logging-daemon.py b/server-ca/logging-daemon.py
index 280771f75..ca0bde263 100755
--- a/server-ca/logging-daemon.py
+++ b/server-ca/logging-daemon.py
@@ -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":