diff --git a/main/src/com/google/refine/io/FileProjectManager.java b/main/src/com/google/refine/io/FileProjectManager.java index b22d8d4ae..5af244766 100644 --- a/main/src/com/google/refine/io/FileProjectManager.java +++ b/main/src/com/google/refine/io/FileProjectManager.java @@ -358,6 +358,8 @@ public class FileProjectManager extends ProjectManager { " in directory " + name); } else { logger.warn("Failed to recover project in directory " + name); + + file.renameTo(new File(file.getParentFile(), name + ".corrupted")); } } }