equal
deleted
inserted
replaced
16 |
16 |
17 This functions exist to gather the creation of formatter in a single |
17 This functions exist to gather the creation of formatter in a single |
18 place instead of duplicating it in all performance command.""" |
18 place instead of duplicating it in all performance command.""" |
19 |
19 |
20 # enforce an idle period before execution to counteract power management |
20 # enforce an idle period before execution to counteract power management |
|
21 # experimental config: perf.presleep |
21 time.sleep(ui.configint("perf", "presleep", 1)) |
22 time.sleep(ui.configint("perf", "presleep", 1)) |
22 |
23 |
23 if opts is None: |
24 if opts is None: |
24 opts = {} |
25 opts = {} |
25 # redirect all to stderr |
26 # redirect all to stderr |