(JAL-1023) ensure filename is properly escaped before embedding it in script

diff --git a/src/jalview/gui/AppJmol.java b/src/jalview/gui/AppJmol.java
index 0e00de4..8d9d9f0 100644 (file)
--- a/src/jalview/gui/AppJmol.java
+++ b/src/jalview/gui/AppJmol.java
@@ -724,7 +724,8 @@ public class AppJmol extends GStructureViewer implements Runnable,
             // PDBEntry
             jmb.pdbentry[pi].setFile(file = ((PDBEntry) pdbseq
                     .getSequenceAt(0).getPDBId().elementAt(0)).getFile());
-            files.append(" \"" + file + "\"");
+            
+            files.append(" \"" + jalview.util.Platform.escapeString(file) + "\"");
           }
           else
           {
@@ -747,7 +748,7 @@ public class AppJmol extends GStructureViewer implements Runnable,
           }
           if (file != null)
           {
-            files.append(" \"" + file + "\"");
+            files.append(" \"" + jalview.util.Platform.escapeString(file) + "\"");
           }
         }
       }