From: jprocter <jprocter@compbio.dundee.ac.uk>
Date: Thu, 8 Dec 2011 11:44:11 +0000 (+0000)
Subject: (JAL-1023) ensure filename is properly escaped before embedding it in script
X-Git-Tag: Archived_Release_2_7~13^2
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=8efc784c146ac768f3f8ca78a3da09440ff742ba

(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
--- 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) + "\"");
           }
         }
       }