Show More
@@ -14,6 +14,10 b' def gettimer(ui, opts=None):' | |||||
14 |
|
14 | |||
15 | This functions exist to gather the creation of formatter in a single |
|
15 | This functions exist to gather the creation of formatter in a single | |
16 | place instead of duplicating it in all performance command.""" |
|
16 | place instead of duplicating it in all performance command.""" | |
|
17 | ||||
|
18 | # enforce an idle period before execution to counteract power management | |||
|
19 | time.sleep(ui.configint("perf", "presleep", 1)) | |||
|
20 | ||||
17 | if opts is None: |
|
21 | if opts is None: | |
18 | opts = {} |
|
22 | opts = {} | |
19 | # redirect all to stderr |
|
23 | # redirect all to stderr |
General Comments 0
You need to be logged in to leave comments.
Login now