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>
Mon, 8 Jun 2020 23:49:34 +0000 (00:49 +0100)
commitf10fd0d2963d13937cda4f44c6216003a8472696
tree24fdd621ef0d45a437a50595083c42c29470ca92
parent1434f6527228808e1661ad1ec9be21bde1788170
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