diff options
| author | Sven Gothel <[email protected]> | 2014-07-08 10:50:52 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2014-07-08 10:50:52 +0200 |
| commit | 7d0c81f28d44179c7dafeeff1f3787f8aec622aa (patch) | |
| tree | 3edffe7baa88738f1763d7cb446c72f0d755901e /src/jogl/classes/jogamp/opengl/util | |
| parent | 73d2a436f92e360126167d9ce09b3d9637204921 (diff) | |
Findbugs.increment_volatile: Use AtomicInteger or add comment that operation is safe!
Diffstat (limited to 'src/jogl/classes/jogamp/opengl/util')
| -rw-r--r-- | src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java b/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java index f36681e3b..e5369e108 100644 --- a/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java +++ b/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java @@ -1050,7 +1050,7 @@ public abstract class GLMediaPlayerImpl implements GLMediaPlayer { } private final void newFrameAvailable(final TextureFrame frame, final long currentTimeMillis) { - decodedFrameCount++; + decodedFrameCount++; // safe: only written-to either from stream-worker or user thread if( 0 == frame.getDuration() ) { // patch frame duration if not set already frame.setDuration( (int) frame_duration ); } |