Linux deleting too slowly, see if this fixes

benfry · benfry · commit aed36d65dca0 · 2016-08-19T17:21:18.000-04:00
diff --git a/app/src/processing/app/Mode.java b/app/src/processing/app/Mode.java
@@ -1003,7 +1003,7 @@ public void prepareExportFolder(File targetFolder) {
       // Nuke the old applet/application folder because it can cause trouble
       if (Preferences.getBoolean("export.delete_target_folder")) {
 //        System.out.println("temporarily skipping deletion of " + targetFolder);
-        Util.removeDir(targetFolder);
+        Platform.deleteFile(targetFolder);
         //      targetFolder.renameTo(dest);
       }
       // Create a fresh output folder (needed before preproc is run next)

Original file line number	Diff line number	Diff line change
`@@ -1003,7 +1003,7 @@ public void prepareExportFolder(File targetFolder) {`
`1003`	`1003`	`// Nuke the old applet/application folder because it can cause trouble`
`1004`	`1004`	`if (Preferences.getBoolean("export.delete_target_folder")) {`
`1005`	`1005`	`// System.out.println("temporarily skipping deletion of " + targetFolder);`
`1006`		`- Util.removeDir(targetFolder);`
	`1006`	`+ Platform.deleteFile(targetFolder);`
`1007`	`1007`	`// targetFolder.renameTo(dest);`
`1008`	`1008`	`}`
`1009`	`1009`	`// Create a fresh output folder (needed before preproc is run next)`