[gnome-music/wip/merge: 161/343] player: proper format for duration string

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 7e88eec266b1b9ff78e35b962811b624d3bc8d1c
Author: Vadim Rutkovsky <vrutkovs redhat com>
Date:   Tue Jul 16 17:12:21 2013 +0200

    player: proper format for duration string

 gnomemusic/player.py |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gnomemusic/player.py b/gnomemusic/player.py
index b406902..a1a57a7 100644
--- a/gnomemusic/player.py
+++ b/gnomemusic/player.py
@@ -424,9 +424,9 @@ class Player(GObject.GObject):
         seconds = duration % 60
 
         if seconds < 10:
-            return minutes + ":" + "0" + seconds
+            return "%s:0%s" % (minutes, seconds)
         else:
-            return minutes + ":" + seconds
+            return "%s:%s" % (minutes, seconds)
 
     def _onPlayBtnClicked(self, btn):
         if self.playing: