Show More
| @@ -18,6 +18,7 b' def gettimer(ui, opts=None):' | |||
|
|
18 | 18 | place instead of duplicating it in all performance command.""" |
|
|
19 | 19 | |
|
|
20 | 20 | # enforce an idle period before execution to counteract power management |
|
|
21 | # experimental config: perf.presleep | |
|
|
21 | 22 | time.sleep(ui.configint("perf", "presleep", 1)) |
|
|
22 | 23 | |
|
|
23 | 24 | if opts is None: |
General Comments 0
You need to be logged in to leave comments.
Login now