X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FCache.java;h=0e9c3ca028030e8388f2b07463e044aaec51c560;hb=2d740577b9dda7b872d808e2419ca66e2ad0eb4b;hp=77178a137cfba51b7b364d9784ff8a2837f9f4b8;hpb=f174f7c02a8357a4a35c6254739c98fafcca757a;p=jalview.git diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java index 77178a1..0e9c3ca 100755 --- a/src/jalview/bin/Cache.java +++ b/src/jalview/bin/Cache.java @@ -95,7 +95,7 @@ public class Cache propertiesFile = propsFile; if (propsFile == null) { - propertiesFile = System.getProperty("user.home") + "/.jalview_properties"; + propertiesFile = System.getProperty("user.home") +File.separatorChar+".jalview_properties"; } try @@ -288,12 +288,9 @@ public class Cache { 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); }