From b415aa531ec9eeaf2283a5609968308bc7ee2c62 Mon Sep 17 00:00:00 2001
From: Damien Elmes <git@ichi2.net>
Date: Sun, 27 May 2012 00:16:26 +0900
Subject: [PATCH] possible fix for mplayer video quit

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

diff --git a/anki/sound.py b/anki/sound.py
index ab61e032d..6184d34c0 100644
--- a/anki/sound.py
+++ b/anki/sound.py
@@ -93,7 +93,12 @@ class MplayerMonitor(threading.Thread):
             mplayerEvt.clear()
             # clearing queue?
             if mplayerClear and self.mplayer:
-                self.mplayer.stdin.write("stop\n")
+                try:
+                    self.mplayer.stdin.write("stop\n")
+                except:
+                    # mplayer quit by user (likely video)
+                    self.deadPlayers.append(self.mplayer)
+                    self.mplayer = None
             # loop through files to play
             while mplayerQueue:
                 # ensure started