xtclang / xvm

Ecstasy and XVM

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Java.io.File.renameTo may not work with an existing destination file.

lagergren opened this issue · comments

Discovered in the plugin compile task. Simple fix is to change the if (x.renameTo(y)) to if ((y.exists() && y.delete()) && x.renameTo(y))