changeset 35435 | 471918fa7f46 |
parent 35434 | 71427ff1dff8 |
child 35436 | 86b8cc1f244e |
--- a/mercurial/worker.py Mon Nov 20 10:27:41 2017 -0800 +++ b/mercurial/worker.py Sun Dec 17 11:26:25 2017 -0800 @@ -82,7 +82,8 @@ args - arguments to split into chunks, to pass to individual workers ''' - if worthwhile(ui, costperarg, len(args)): + enabled = ui.configbool('worker', 'enabled') + if enabled and worthwhile(ui, costperarg, len(args)): return _platformworker(ui, func, staticargs, args) return func(*staticargs + (args,))