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)