# HG changeset patch
# User Matt Mackall <mpm@selenic.com>
# Date 1435272255 18000
# Node ID 5857be01962ec76843dce124747c2ff01eb95563
# Parent  578fc97904daf1aaaa1c69c35ecf6e8ccc0c8d18
commandserver: mark developer-only logging option

diff -r 578fc97904da -r 5857be01962e mercurial/commandserver.py
--- a/mercurial/commandserver.py	Thu Jun 25 17:43:52 2015 -0500
+++ b/mercurial/commandserver.py	Thu Jun 25 17:44:15 2015 -0500
@@ -132,6 +132,7 @@
     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