# HG changeset patch
# User Paul Crowley <paul@lshift.net>
# Date 1235144029 0
# Node ID 9ea9a30cd060b68b901785abaa23ef300243cc2b
# Parent  2661b21688d424b9dfdbbce6e31d5742748c5252
Give log more appropriate name now it has pulls too

diff -r 2661b21688d4 -r 9ea9a30cd060 src/logging.py
--- a/src/logging.py	Fri Feb 20 15:24:15 2009 +0000
+++ b/src/logging.py	Fri Feb 20 15:33:49 2009 +0000
@@ -25,7 +25,7 @@
     t = time.strftime("%Y-%m-%d_%H:%M:%S", time.gmtime())
     user = os.environ['REMOTE_USER']
     # FIXME: lock it
-    log = open(repo.join("push-log"), "a+")
+    log = open(repo.join("serve-log"), "a+")
     try:
         for ctx in changes.changes(repo, node):
             log.write("%s %s key=%s changeset=%s\n" %