GTK GUI :

Properly shutdown the sound output


git-svn-id: https://svn.code.sf.net/p/vbam/code/trunk@493 a31d4220-a93d-0410-bf67-fe4944624d44

src/gtk/window.cpp

@@ -837,6 +837,7 @@ Window::Window(GtkWindow * _pstWindow, const Glib::RefPtr<Xml> & _poXml) :
 Window::~Window()
 {
   vOnFileClose();
+  vUnInitSystem();
   vSaveHistoryToConfig();
   vSaveJoypadsToConfig();
   vSaveConfig(m_sConfigFile);
@@ -935,6 +936,11 @@ void Window::vInitSystem()
   Init_2xSaI(32);
 }
 
+void Window::vUnInitSystem()
+{
+  systemSoundShutdown();
+}
+
 void Window::vInitConfig()
 {
   m_oConfig.vClear();

src/gtk/window.h

@@ -279,6 +279,7 @@ private:
   ESoundQuality  m_eSoundQuality;
 
   void vInitSystem();
+  void vUnInitSystem();
   void vInitConfig();
   void vCheckConfig();
   void vInitScreenArea();