Peertube
/
NewPipe-app-android
mirror of https://github.com/TeamNewPipe/NewPipe/
1
0
Fork 0
Code Issues Releases Wiki Activity

Fix Checkstyle violations in MediaSourceManager

This commit is contained in:
Alexander-- 2020-04-11 09:08:59 +06:59
parent 53b3bda909
commit d1d942f3fd
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
app/src/main/java/org/schabi/newpipe/player/playback/MediaSourceManager.java
View File

@ -355,7 +355,8 @@ public class MediaSourceManager {
//////////////////////////////////////////////////////////////////////////*/ //////////////////////////////////////////////////////////////////////////*/
private Observable<Long> getEdgeIntervalSignal() { private Observable<Long> getEdgeIntervalSignal() {
return Observable.interval(progressUpdateIntervalMillis, TimeUnit.MILLISECONDS, AndroidSchedulers.mainThread()) return Observable.interval(progressUpdateIntervalMillis,
TimeUnit.MILLISECONDS, AndroidSchedulers.mainThread())
.filter(ignored -> .filter(ignored ->
playbackListener.isApproachingPlaybackEdge(playbackNearEndGapMillis)); playbackListener.isApproachingPlaybackEdge(playbackNearEndGapMillis));
} }