##// END OF EJS Templates
commandserver: mark developer-only logging option
Matt Mackall -
r25832:5857be01 default
parent child Browse files
Show More
@@ -132,6 +132,7 b' class server(object):'
132 132 def __init__(self, ui, repo, fin, fout):
133 133 self.cwd = os.getcwd()
134 134
135 # developer config: cmdserver.log
135 136 logpath = ui.config("cmdserver", "log", None)
136 137 if logpath:
137 138 global logfile
General Comments 0
You need to be logged in to leave comments. Login now