From 9d8df81e117fb879cecb4bcfdcfb7b1d5a48fa98 Mon Sep 17 00:00:00 2001
From: Damien Elmes <git@ichi2.net>
Date: Fri, 12 Jun 2009 20:26:00 +0900
Subject: [PATCH] cleanup mplayer slave on exit

---
 anki/sound.py | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/anki/sound.py b/anki/sound.py
index f9dce324b..33f2e6e43 100644
--- a/anki/sound.py
+++ b/anki/sound.py
@@ -8,7 +8,7 @@ Sound support
 """
 __docformat__ = 'restructuredtext'
 
-import re, sys, threading, time, subprocess, os, signal
+import re, sys, threading, time, subprocess, os, signal, atexit
 
 # Shared utils
 ##########################################################################
@@ -160,8 +160,17 @@ def clearMplayerQueue():
     mplayerQueue.append(None)
     mplayerCond.release()
 
+def stopMplayer():
+    mplayerCond.acquire()
+    if mplayerManager.mplayer:
+        mplayerManager.mplayer.communicate("quit\n")
+    mplayerManager.mplayer = -1
+    mplayerCond.notify()
+    mplayerCond.release()
+
 mplayerManager = MplayerMonitor()
 mplayerManager.start()
+atexit.register(stopMplayer)
 
 # PyAudio recording
 ##########################################################################