##// END OF EJS Templates
debugger: mark developer-only option...
Matt Mackall -
r25833:8243e999 default
parent child Browse files
Show More
@@ -129,10 +129,11 b' def _runcatch(req):'
129 for sec, name, val in cfgs:
129 for sec, name, val in cfgs:
130 req.repo.ui.setconfig(sec, name, val, source='--config')
130 req.repo.ui.setconfig(sec, name, val, source='--config')
131
131
132 # if we are in HGPLAIN mode, then disable custom debugging
132 # developer config: ui.debugger
133 debugger = ui.config("ui", "debugger")
133 debugger = ui.config("ui", "debugger")
134 debugmod = pdb
134 debugmod = pdb
135 if not debugger or ui.plain():
135 if not debugger or ui.plain():
136 # if we are in HGPLAIN mode, then disable custom debugging
136 debugger = 'pdb'
137 debugger = 'pdb'
137 elif '--debugger' in req.args:
138 elif '--debugger' in req.args:
138 # This import can be slow for fancy debuggers, so only
139 # This import can be slow for fancy debuggers, so only
General Comments 0
You need to be logged in to leave comments. Login now