From 6da011cd8dc2c23f6011f75e09e5ec19bf87ce2d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jindra=20Pet=C5=99=C3=ADk?= <jindra.petrik@gmail.com>
Date: Wed, 27 Jan 2021 20:38:17 +0100
Subject: [PATCH] Properly escape backslash in Graphviz p-code export

---
 .../flash/exporters/script/PcodeGraphVizExporter.java           | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsrc/ffdec_lib/src/com/jpexs/decompiler/flash/exporters/script/PcodeGraphVizExporter.java b/libsrc/ffdec_lib/src/com/jpexs/decompiler/flash/exporters/script/PcodeGraphVizExporter.java
index 5176b4071..e489bc963 100644
--- a/libsrc/ffdec_lib/src/com/jpexs/decompiler/flash/exporters/script/PcodeGraphVizExporter.java
+++ b/libsrc/ffdec_lib/src/com/jpexs/decompiler/flash/exporters/script/PcodeGraphVizExporter.java
@@ -244,7 +244,7 @@ public class PcodeGraphVizExporter {
                 s = s.replace("]", "&#x5D;"); //ends graphviz parameters block!
                 s = s.replace("<", "&lt;");
                 s = s.replace(">", "&gt;");
-                //s = s.replace("\"", "&quot;");
+                s = s.replace("\\", "\\\\");
                 s = s.replace("\r\n", "<BR />");
                 sb.append(s);
                 if (bold && tlen > 0) {