mirror of
https://gitlab.futo.org/keyboard/latinime.git
synced 2024-09-28 14:54:30 +01:00
am 933e7c37: am 37c8f8b5: am 20f07e33: Merge "Unlink an old file before moving the new file over it" into jb-mr1-dev
* commit '933e7c3770c00a9eea43c447d96daec1ada62041': Unlink an old file before moving the new file over it
This commit is contained in:
commit
feac8a91f9
@ -200,6 +200,7 @@ public final class BinaryDictionaryFileDumper {
|
||||
outputStream.flush();
|
||||
outputStream.close();
|
||||
final File finalFile = new File(finalFileName);
|
||||
finalFile.delete();
|
||||
if (!outputFile.renameTo(finalFile)) {
|
||||
throw new IOException("Can't move the file to its final name");
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user