Show More
| @@ -18,6 +18,7 b' def gettimer(ui, opts=None):' | |||||
| 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: | |
General Comments 0
You need to be logged in to leave comments.
Login now