From: jprocter 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/?a=commitdiff_plain;h=8efc784c146ac768f3f8ca78a3da09440ff742ba;p=jalview.git (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) + "\""); } } }