changeset 347:ef9c34427b2b

dot graph labels should be escaped This could/should be extended further, but ssems good enough for now
author Sigurd Meldgaard <stm@daimi.au.dk>
date Mon, 19 Jul 2010 16:07:07 +0200
parents c42c91301c40
children 8e4ddc6083df
files pysmcl/flow.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/flow.py	Mon Jul 19 15:21:57 2010 +0200
+++ b/pysmcl/flow.py	Mon Jul 19 16:07:07 2010 +0200
@@ -149,7 +149,7 @@
             printer = PrettyPrinter(output)
             printer.visit(ast_node)
             s = output.getvalue()
-            return s.replace('\n', '')
+            return s.replace('\n', '').replace('"', '\\"')
 
         def depth_first(entry):
             node = graph.add_node([], pretty(entry))