mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-21 12:29:23 +01:00
Boards manager: when upgrading, first remove, then install
This commit is contained in:
parent
7dd6e8f57d
commit
4f3415279c
@ -161,10 +161,10 @@ public class ContributionManagerUI extends InstallerJDialog {
|
||||
List<String> errors = new LinkedList<>();
|
||||
try {
|
||||
setProgressVisible(true, tr("Installing..."));
|
||||
errors.addAll(installer.install(platformToInstall, this::setProgress));
|
||||
if (platformToRemove != null && !platformToRemove.isReadOnly()) {
|
||||
errors.addAll(installer.remove(platformToRemove));
|
||||
}
|
||||
errors.addAll(installer.install(platformToInstall, this::setProgress));
|
||||
onIndexesUpdated();
|
||||
} catch (Exception e) {
|
||||
throw new RuntimeException(e);
|
||||
|
Loading…
x
Reference in New Issue
Block a user