##// END OF EJS Templates
perf: add a configurable sleep on startup...
Matt Mackall -
r23788:316ad725 default
parent child Browse files
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