From 7cfd86d7cffe24e74994cc67e540a4abdd755258 Mon Sep 17 00:00:00 2001
From: Frederic <frederic@localhost.localdomain>
Date: Mon, 26 Dec 2016 18:51:09 +0100
Subject: [PATCH] 2to3 fix

---
 miniplayer.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/miniplayer.py b/miniplayer.py
index b697681..297fbcb 100755
--- a/miniplayer.py
+++ b/miniplayer.py
@@ -104,7 +104,7 @@ class MiniPlayer(object):
             # play the animation in case it had been successfully loaded before
             if currentAnim is not None:
                 if currentAnim.duration < self.loopTime:
-                    count = self.loopTime / currentAnim.duration
+                    count = self.loopTime // currentAnim.duration
                 else:
                     count = 1
                 player.play(currentAnim, self.__output, count=count)