Merge remote-tracking branch 'origin/dev' into dev

This commit is contained in:
Alejandro 2020-02-05 19:18:14 +02:00
commit 95b0884a8c

View File

@ -92,7 +92,7 @@ public class WiredHighscoreManager {
public List<WiredHighscoreRow> getHighscoreRowsForItem(int itemId, WiredHighscoreClearType clearType, WiredHighscoreScoreType scoreType) {
if (!this.data.containsKey(itemId)) return null;
Stream<WiredHighscoreRow> highscores = this.data.get(itemId).stream()
Stream<WiredHighscoreRow> highscores = new ArrayList<>(this.data.get(itemId)).stream()
.filter(entry -> this.timeMatchesEntry(entry, clearType) && (scoreType != WiredHighscoreScoreType.MOSTWIN || entry.isWin()))
.map(entry -> new WiredHighscoreRow(
entry.getUserIds().stream()