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

Whoops, a debuggin call to "peek" was committed. Removed.

This commit is contained in:
Federico Fissore 2015-12-01 15:23:51 +01:00
parent 5fcf5e3eb7
commit 1e074cce42

@ -236,7 +236,7 @@ public class ContributionInstaller {
} }
public synchronized List<String> remove(ContributedPlatform contributedPlatform) { public synchronized List<String> remove(ContributedPlatform contributedPlatform) {
BaseNoGui.indexer.getPackages().stream().flatMap(p -> p.getPlatforms().stream()).filter(new InstalledPredicate()).peek(pl -> System.out.println(pl.getName() + " " + pl.getVersion())).collect(Collectors.toList()); BaseNoGui.indexer.getPackages().stream().flatMap(p -> p.getPlatforms().stream()).filter(new InstalledPredicate()).collect(Collectors.toList());
if (contributedPlatform == null || contributedPlatform.isReadOnly()) { if (contributedPlatform == null || contributedPlatform.isReadOnly()) {
return new LinkedList<>(); return new LinkedList<>();
} }