arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-17 22:23:10 +03:00
Code Activity

Added --preserve-temp-files command line option

Browse Source
This commit is contained in:
Federico Fissore
2015-04-15 11:00:01 +02:00
parent 3465fcf97b
commit 96c4576962
4 changed files with 22 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
arduino-core/src/cc/arduino/files/DeleteFilesOnShutdown.java
View File

@ -1,5 +1,6 @@
package cc.arduino.files;
import processing.app.PreferencesData;
import processing.app.helpers.FileUtils;
import java.io.File;
@ -27,6 +28,10 @@ public class DeleteFilesOnShutdown implements Runnable {
@Override
public void run() {
boolean preserveTempFiles = PreferencesData.getBoolean("runtime.preserve.temp.files");
if (preserveTempFiles) {
return;
}
List<File> copyOfFiles;
synchronized (this) {
copyOfFiles = new LinkedList<File>(files);