JAL-3628 Changed all file1.renameTo(file2) calls to Files.move(path1,path2,REPLACE_EX...
authorBen Soares <b.soares@dundee.ac.uk>
Mon, 8 Jun 2020 23:49:34 +0000 (00:49 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Fri, 6 Nov 2020 17:23:41 +0000 (17:23 +0000)
commit6dcf626ab3f32b045ded3fdb0aab4c1633196eb8
treede9438ced6f7cfba4af43cc4f2d2d682c3fdc169
parent5443eb560cbf7baf3de56a918cab254c6dd329df
JAL-3628 Changed all file1.renameTo(file2) calls to Files.move(path1,path2,REPLACE_EXISTING) in jalview.io.BackupFiles. This fixes a problem in Windows with renameTo when destination file already exists.
src/jalview/io/BackupFiles.java