# HG changeset patch
# User Andreas Weber <andy.weber.aw@gmail.com>
# Date 1421149843 -3600
# Node ID 62ca016dbb2a930af47600a380cc04c57d3c1c04
# Parent  9b90d8579c61ae214441e84cda8ff813bf74eb6f
audiodevinfo.cc: Stop playback in audioplayers destructor (bug ##43994)

diff -r 9b90d8579c61 -r 62ca016dbb2a libinterp/dldfcn/audiodevinfo.cc
--- a/libinterp/dldfcn/audiodevinfo.cc	Mon Jan 12 09:17:35 2015 -0800
+++ b/libinterp/dldfcn/audiodevinfo.cc	Tue Jan 13 12:50:43 2015 +0100
@@ -441,7 +441,7 @@
 {
 public:
   audioplayer (void);
-  ~audioplayer (void) {};
+  ~audioplayer (void);
 
   // Overloaded base functions
   double player_value (void) const { return 0; }
@@ -819,6 +819,15 @@
     left (), right (), stream (0), output_parameters (), type ()
 { }
 
+audioplayer::~audioplayer (void)
+{
+  if (isplaying())
+    {
+      warning ("audioplayer::~audioplayer: Interrupting playing audioplayer");
+      stop ();
+    }
+}
+
 void
 audioplayer::print (std::ostream& os, bool pr_as_read_syntax) const
 {