From 7cac17a543d4576c6019e4d331bc4afb148ceec9 Mon Sep 17 00:00:00 2001
From: Damien Elmes <git@ichi2.net>
Date: Mon, 15 Jun 2009 11:26:42 +0900
Subject: [PATCH] restart mplayer if it has stopped

---
 anki/sound.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/anki/sound.py b/anki/sound.py
index f5db2c426..a30ddac40 100644
--- a/anki/sound.py
+++ b/anki/sound.py
@@ -126,6 +126,9 @@ class MplayerMonitor(threading.Thread):
                 mplayerCond.wait()
             if not self.mplayer:
                 self.startProcess()
+            if self.mplayer.poll() is not None:
+                self.mplayer.wait()
+                self.startProcess()
             nextClears = False
             while mplayerQueue:
                 item = mplayerQueue.pop(0)