[Android] [PATCH] Video : MediaPlayerTimeChanged event intercepted
Alexandre Perraud
4leyx4ndre at gmail.com
Wed Aug 20 14:42:16 CEST 2014
to avoid useless and numerous error logs.
---
vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerActivity.java | 3 +++
1 file changed, 3 insertions(+)
diff --git a/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerActivity.java b/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerActivity.java
index e83f5dc..df3f696 100644
--- a/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerActivity.java
+++ b/vlc-android/src/org/videolan/vlc/gui/video/VideoPlayerActivity.java
@@ -888,6 +888,9 @@ public class VideoPlayerActivity extends Activity implements IVideoPlayer {
Log.i(TAG, "HardwareAccelerationError");
activity.handleHardwareAccelerationError();
break;
+ case EventHandler.MediaPlayerTimeChanged:
+ //TODO MediaPlayerTimeChanged event intercepted to avoid useless and numerous error logs.
+ break;
default:
Log.e(TAG, String.format("Event not handled (0x%x)", msg.getData().getInt("event")));
break;
--
1.9.1
More information about the Android
mailing list