Brian Warner
|
5501a6bf1c
|
simplify timing, add msgid
|
2016-05-06 18:53:28 -07:00 |
|
Brian Warner
|
8e664fdfcd
|
timing.py: record finish(when) correctly
|
2016-04-30 15:48:43 -07:00 |
|
Brian Warner
|
24e52c0320
|
rewrite timing instrumentation: use context managers
|
2016-04-29 14:27:29 -07:00 |
|
Brian Warner
|
c5415495c0
|
dump-timing: store server-sent time too
Adjust dump-timing to ignore the extra data, for now. Also do some
general instrumentation cleanup.
|
2016-03-03 18:03:27 -08:00 |
|
Brian Warner
|
8d82726c51
|
add DebugTiming object, --dump-timing= option
This writes timeline data to a .json file, which can be examined later
to find likely candidates for optimization.
|
2016-03-01 18:23:06 -08:00 |
|