Keith Beckman
Assigned
No issues.
Reported
Comments
I've only ever seen this issue with Minecraft profiles stored in Dropbox on a Windows machine. Has anyone else noticed this consistently? I've assumed it was caused by Dropbox having an open filehandle to servers.dat during a non-atomic delete-and-move from the temp file. Possibly the only real solution to this would be to have a platform-specific segment of code that could use ReplaceFile() from Win32, rather than assuming POSIX semantics for native Java filesystem access.
I see this error in 1.5 unmodded, on any server (vanilla or bukkit) that I play.
Thanks for the suggestion! That's actually a workaround, not a fix. Dropbox does support restoring deleted files, so I've been using that. However, if it does occur without Dropbox (I've never observed it in my local-only profile), this is a good workaround, though.