1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00

Added warning message in case sketch contains invalid file name. Fixes #1390

This commit is contained in:
Federico Fissore 2013-10-22 11:21:46 +02:00
parent 59de784e9f
commit 05fa62d9db

View File

@ -187,6 +187,8 @@ public class Sketch {
if (Sketch.isSanitaryName(base)) { if (Sketch.isSanitaryName(base)) {
code[codeCount++] = code[codeCount++] =
new SketchCode(new File(folder, filename), extension); new SketchCode(new File(folder, filename), extension);
} else {
editor.console.message(I18n.format("File name {0} is invalid: ignored", filename), true, false);
} }
} }
} }