From 5a018c23f468543bafebb147730c77ab2898a5ab Mon Sep 17 00:00:00 2001 From: Brian Warner Date: Thu, 3 Mar 2016 18:06:26 -0800 Subject: [PATCH] dump-timing: try to display the server-sent time usefully Not really satisfied yet. --- misc/dump-timing.py | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/misc/dump-timing.py b/misc/dump-timing.py index 6e530e3..6a222a8 100644 --- a/misc/dump-timing.py +++ b/misc/dump-timing.py @@ -53,10 +53,18 @@ for num, (start, sent, finish, which, what, if "waiting" in start_d: viz_className += " wait-%s" % start_d["waiting"] viz_out.append({"id": num, "start": viz_start, "end": viz_end, - "group": which, "content": viz_content, + "group": which, #"subgroup": num, + "content": viz_content, "className": viz_className, # or style: "type": viz_type, }) + if sent is not None: + viz_out.append({"id": "%d.sent" % num, "start": sent*1000, + "group": which, #"subgroup": num, + "content": "sent", + "className": viz_className, + "type": "point"}) + here = os.path.dirname(__file__) web_root = os.path.join(here, "web")