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

Several File.list() calls missed check for null return value. Fixed

Browse Source
This commit is contained in:
Federico Fissore
2015-05-20 16:32:27 +02:00
parent 0b4a4fb0b5
commit 026210564d
5 changed files with 28 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
arduino-core/src/processing/app/BaseNoGui.java
View File

@ -956,14 +956,18 @@ public class BaseNoGui {
if (!dir.exists()) return;
String files[] = dir.list();
for (int i = 0; i < files.length; i++) {
if (files[i].equals(".") || files[i].equals("..")) continue;
File dead = new File(dir, files[i]);
if (files == null) {
return;
}
for (String file : files) {
if (file.equals(".") || file.equals("..")) continue;
File dead = new File(dir, file);
if (!dead.isDirectory()) {
if (!PreferencesData.getBoolean("compiler.save_build_files")) {
if (!dead.delete()) {
// temporarily disabled
System.err.println(I18n.format(_("Could not delete {0}"), dead));
System.err.println(I18n.format(_("Could not delete {0}"), dead));
}
}
} else {