##// END OF EJS Templates
util: introduce timer()...
Simon Farnsworth -
r30974:ae5d60bb default
parent child Browse files
Show More
@@ -1203,8 +1203,13 b' def checkwinfilename(path):'
1203
1203
1204 if pycompat.osname == 'nt':
1204 if pycompat.osname == 'nt':
1205 checkosfilename = checkwinfilename
1205 checkosfilename = checkwinfilename
1206 timer = time.clock
1206 else:
1207 else:
1207 checkosfilename = platform.checkosfilename
1208 checkosfilename = platform.checkosfilename
1209 timer = time.time
1210
1211 if safehasattr(time, "perf_counter"):
1212 timer = time.perf_counter
1208
1213
1209 def makelock(info, pathname):
1214 def makelock(info, pathname):
1210 try:
1215 try:
General Comments 0
You need to be logged in to leave comments. Login now