mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-16 11:21:18 +03:00
Added Contribution installer, install and remove correctly.
Tested on linux
This commit is contained in:
committed by
Federico Fissore
parent
373a625903
commit
2a8c742453
@ -1121,7 +1121,11 @@ public class Base {
|
||||
|
||||
@Override
|
||||
public void onInstall(ContributedPlatform platform) {
|
||||
BaseNoGui.indexer.install(platform);
|
||||
try {
|
||||
BaseNoGui.indexer.install(platform);
|
||||
} catch (Exception e) {
|
||||
e.printStackTrace();
|
||||
}
|
||||
}
|
||||
|
||||
@Override
|
||||
|
Reference in New Issue
Block a user