GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-19 14:32:22 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

restart mplayer if it has stopped

Browse source
This commit is contained in:
Damien Elmes 2009-06-15 11:26:42 +09:00
parent 8d3678b9fb
commit 7cac17a543
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
anki/sound.py
View file

@ -126,6 +126,9 @@ class MplayerMonitor(threading.Thread):
mplayerCond.wait() mplayerCond.wait()
if not self.mplayer: if not self.mplayer:
self.startProcess() self.startProcess()
if self.mplayer.poll() is not None:
self.mplayer.wait()
self.startProcess()
nextClears = False nextClears = False
while mplayerQueue: while mplayerQueue:
item = mplayerQueue.pop(0) item = mplayerQueue.pop(0)