diff options
author | Sven Gothel <[email protected]> | 2023-12-18 05:49:02 +0100 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2023-12-18 05:49:02 +0100 |
commit | d99c2d8b28470d335ab5b30124ef8b0607b3b90f (patch) | |
tree | dffb5903953588f13739913898882cf4d5be79e5 /src/jogl/classes/jogamp/opengl/android/av/AndroidGLMediaPlayerAPI14.java | |
parent | 121260d2b7bc4f57a16ca53ed1b08082d7977bbe (diff) |
GLMediaPlayer: Add printNativeInfo(..) exposing used native library information (if any), FFMPEG* utilizes NativeLibrary.get[Native]LibraryPath()
Diffstat (limited to 'src/jogl/classes/jogamp/opengl/android/av/AndroidGLMediaPlayerAPI14.java')
-rw-r--r-- | src/jogl/classes/jogamp/opengl/android/av/AndroidGLMediaPlayerAPI14.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/jogl/classes/jogamp/opengl/android/av/AndroidGLMediaPlayerAPI14.java b/src/jogl/classes/jogamp/opengl/android/av/AndroidGLMediaPlayerAPI14.java index bc31b6aea..5fc406a72 100644 --- a/src/jogl/classes/jogamp/opengl/android/av/AndroidGLMediaPlayerAPI14.java +++ b/src/jogl/classes/jogamp/opengl/android/av/AndroidGLMediaPlayerAPI14.java @@ -28,6 +28,7 @@ package jogamp.opengl.android.av; import java.io.IOException; +import java.io.PrintStream; import java.util.List; import com.jogamp.opengl.GL; @@ -118,6 +119,11 @@ public class AndroidGLMediaPlayerAPI14 extends GLMediaPlayerImpl { } @Override + public final void printNativeInfo(final PrintStream out) { + out.println("AndroidGLMediaPlayerAPI14: available "+available); + } + + @Override protected final boolean setPlaySpeedImpl(final float rate) { // FIXME return false; |