commandserver: mark developer-only logging option
authorMatt Mackall <mpm@selenic.com>
Thu, 25 Jun 2015 17:44:15 -0500
changeset 25832 5857be01962e
parent 25831 578fc97904da
child 25833 8243e999f22b
commandserver: mark developer-only logging option
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