Stop playback when shutting down the application

[jamaendo] / jamaui / ui.py

diff --git a/jamaui/ui.py b/jamaui/ui.py
index da81b10..9b6300d 100644 (file)
--- a/jamaui/ui.py
+++ b/jamaui/ui.py
@@ -195,6 +195,9 @@ class Jamaui(object):
     def destroy(self, widget):
         postoffice.disconnect('request-album-cover', self)
         self.save_settings()
+        from player import the_player
+        if the_player:
+            the_player.stop()
         gtk.main_quit()
 
     def show_about(self, w, win):