[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