equal
deleted
inserted
replaced
305 fm.plain(b'!') |
305 fm.plain(b'!') |
306 fm.write(prefix + b'wall', b' wall %f', entry[0]) |
306 fm.write(prefix + b'wall', b' wall %f', entry[0]) |
307 fm.write(prefix + b'comb', b' comb %f', entry[1] + entry[2]) |
307 fm.write(prefix + b'comb', b' comb %f', entry[1] + entry[2]) |
308 fm.write(prefix + b'user', b' user %f', entry[1]) |
308 fm.write(prefix + b'user', b' user %f', entry[1]) |
309 fm.write(prefix + b'sys', b' sys %f', entry[2]) |
309 fm.write(prefix + b'sys', b' sys %f', entry[2]) |
310 fm.write(prefix + b'count', b' (%s of %d)', role, count) |
310 fm.write(prefix + b'count', b' (%s of %%d)' % role, count) |
311 fm.plain(b'\n') |
311 fm.plain(b'\n') |
312 results.sort() |
312 results.sort() |
313 min_val = results[0] |
313 min_val = results[0] |
314 display(b'best', min_val) |
314 display(b'best', min_val) |
315 if displayall: |
315 if displayall: |