fix to deal with graphviz id problems (can't handle \)
diff --git a/tools/graphDrawer.py b/tools/graphDrawer.py
index d53121b..417de2f 100755
--- a/tools/graphDrawer.py
+++ b/tools/graphDrawer.py
@@ -29,7 +29,10 @@
def buildGraph(nid):
for child in spansByParent[nid]:
- gr.add_node(child, [("label", spansBySpanId[child]["Description"] + "(" + str(spansBySpanId[child]["Stop"] - spansBySpanId[child]["Start"]) + ")")])
+ desc = spansBySpanId[child]["Description"] + "(" + str(spansBySpanId[child]["Stop"] - spansBySpanId[child]["Start"]) + ")"
+ #graphviz can't handle '\'
+ desc = desc.replace("\\", "")
+ gr.add_node(child, [("label", desc)])
gr.add_edge((nid, child))
buildGraph(child)