Give log more appropriate name now it has pulls too
authorPaul Crowley <paul@lshift.net>
Fri, 20 Feb 2009 15:33:49 +0000
changeset 56 9ea9a30cd060
parent 55 2661b21688d4
child 57 fdf8f5f0c283
Give log more appropriate name now it has pulls too
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" %