##// 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 def __init__(self, ui, repo, fin, fout):
132 def __init__(self, ui, repo, fin, fout):
133 self.cwd = os.getcwd()
133 self.cwd = os.getcwd()
134
134
135 # developer config: cmdserver.log
135 logpath = ui.config("cmdserver", "log", None)
136 logpath = ui.config("cmdserver", "log", None)
136 if logpath:
137 if logpath:
137 global logfile
138 global logfile
General Comments 0
You need to be logged in to leave comments. Login now