From f1b3ff276ead90c6966be22cdeb95d6dc9cf675b Mon Sep 17 00:00:00 2001
From: Oswald Auguste de Bruin <oswald.de.bruin@ddvtech.com>
Date: Wed, 16 Oct 2013 13:55:56 +0200
Subject: [PATCH] eh, hope this fixes

---
 src/buffer/player.cpp | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/buffer/player.cpp b/src/buffer/player.cpp
index 7363e4d6..4fe7d74d 100644
--- a/src/buffer/player.cpp
+++ b/src/buffer/player.cpp
@@ -227,10 +227,8 @@ int main(int argc, char** argv){
       if ( !source.getJSON()){
         playing = 0;
       }
-      if (source.atKeyframe()){
-        if (playing > 0){
-          --playing;
-        }
+      if (playing > 0 && source.atKeyframe()){
+        --playing;
       }
       if (lastTime == 0){
         lastTime = now - source.getJSON()["time"].asInt();