// 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
{
}
if (file != null)
{
- files.append(" \"" + file + "\"");
+ files.append(" \"" + jalview.util.Platform.escapeString(file) + "\"");
}
}
}