propertiesFile = propsFile;
if (propsFile == null)
{
- propertiesFile = System.getProperty("user.home") + "/.jalview_properties";
+ propertiesFile = System.getProperty("user.home") +File.separatorChar+".jalview_properties";
}
try
{
try
{
- File oldFile = new File(propertiesFile);
- oldFile.renameTo(new File(propertiesFile+"#"));
FileOutputStream out = new FileOutputStream(propertiesFile);
applicationProperties.store(out, "---JalviewX Properties File---");
out.close();
- oldFile.delete();
}
catch (Exception ex)
{ System.out.println("Error saving properties: "+ex); }