diff options
Diffstat (limited to 'buildscripts/gdb')
| -rw-r--r-- | buildscripts/gdb/mongo_lock.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/buildscripts/gdb/mongo_lock.py b/buildscripts/gdb/mongo_lock.py index ecd1cf743aa..62ba46f8194 100644 --- a/buildscripts/gdb/mongo_lock.py +++ b/buildscripts/gdb/mongo_lock.py @@ -185,8 +185,12 @@ class Graph(object): color = "" if nodes and node_key in nodes: color = "color = red" - sb.append(' "{}" [label="{}" {}]'.format(node_key, self.nodes[node_key]['node'], - color)) + + # The DOT language requires that literal double quotes be escaped using a backslash + # character. + escaped_label = str(self.nodes[node_key]['node']).replace('"', '\\"') + + sb.append(' "{}" [label="{}" {}]'.format(node_key, escaped_label, color)) sb.append("}") return "\n".join(sb) |