[gnome-music] Fix for Bug 700073

[Vadim Rutkovsky <vrutkovsky src gnome org>]

commit 568574159bad23d2e64cec679f2684f62785ba10
Author: Shivani Poddar <shivani poddar92 gmail com>
Date:   Thu May 16 02:24:12 2013 +0530

    Fix for Bug 700073

 src/player.js |   12 ++++++++++++
 1 files changed, 12 insertions(+), 0 deletions(-)
---
diff --git a/src/player.js b/src/player.js
index 6368d78..bb1e65e 100644
--- a/src/player.js
+++ b/src/player.js
@@ -72,6 +72,18 @@ const Player = new Lang.Class({
             this.stop();
             return true;
         }));
+        this.bus.connect("message::eos", Lang.bind(this, function(bus,message) {
+            if(this.player.nextUrl == null){
+                //First Track of the current playlist
+                this.currentTrack = this.playlist.get_iter_first()[1];
+                let media =  this.playlist.get_value( this.currentTrack, this.playlistField);
+                GLib.idle_add(GLib.PRIORITY_HIGH, Lang.bind(this,this.load,media));
+                this.player.set_state(Gst.State.NULL);
+                this.playBtn.set_image(this._playImage);
+                this.progressScale.set_value(0);
+                this.progressScale.sensitive = false;
+           }
+        }));
 
 
         // Set URI earlier - this will enable gapless playback