# HG changeset patch
# User Matt Mackall <mpm@selenic.com>
# Date 2015-06-25 22:44:15
# Node ID 5857be01962ec76843dce124747c2ff01eb95563
# Parent  578fc97904daf1aaaa1c69c35ecf6e8ccc0c8d18

commandserver: mark developer-only logging option

diff --git a/mercurial/commandserver.py b/mercurial/commandserver.py
--- a/mercurial/commandserver.py
+++ b/mercurial/commandserver.py
@@ -132,6 +132,7 @@ class server(object):
     def __init__(self, ui, repo, fin, fout):
         self.cwd = os.getcwd()
 
+        # developer config: cmdserver.log
         logpath = ui.config("cmdserver", "log", None)
         if logpath:
             global logfile