From bcf842e2654a742f41d25edec9eefbb939f00751 Mon Sep 17 00:00:00 2001
From: Seth Schoen <schoen@eff.org>
Date: Sun, 18 Nov 2012 22:24:12 -0800
Subject: [PATCH] add time to the beginning of each log message

---
 server-ca/logging-daemon.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/server-ca/logging-daemon.py b/server-ca/logging-daemon.py
index a5bcd32b4..280771f75 100755
--- a/server-ca/logging-daemon.py
+++ b/server-ca/logging-daemon.py
@@ -2,7 +2,7 @@
 
 # This daemon runs on the CA side to handle logging.
 
-import redis, signal, sys
+import redis, signal, sys, time
 
 r = redis.Redis()
 ps = r.pubsub()
@@ -20,7 +20,7 @@ for message in ps.listen():
     if message["type"] != "message":
         continue
     if message["channel"] == "logs":
-        sys.stdout.write(message["data"] + "\n")
+        sys.stdout.write(time.ctime() + " " + message["data"] + "\n")
         sys.stdout.flush()
         continue
     if message["channel"] == "exit":