1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00

Follow symlinks when saving sketch

Fixes #8535
This commit is contained in:
Martino Facchin 2019-04-02 11:29:58 +02:00 committed by Cristian Maglie
parent a87024dcd4
commit 05de5c9593

View File

@ -893,7 +893,7 @@ public class BaseNoGui {
PApplet.saveStrings(temp, strArray);
try {
file = file.getCanonicalFile();
file = file.toPath().toRealPath().toFile().getCanonicalFile();
} catch (IOException e) {
}