GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-24 08:46:37 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

restart mplayer if it's died

Browse source
This commit is contained in:
Damien Elmes 2011-01-07 21:42:24 +09:00
parent 2ca27d389f
commit 7cb17e6e8d
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
anki/sound.py
View file

@ -157,7 +157,14 @@ class MplayerMonitor(threading.Thread):
else:
extra = " 1"
cmd = 'loadfile "%s"%s\n' % (item, extra)
self.mplayer.stdin.write(cmd)
try:
self.mplayer.stdin.write(cmd)
except:
# mplayer has quit and needs restarting
self.deadPlayers.append(self.mplayer)
self.mplayer = None
self.startProcess()
self.mplayer.stdin.write(cmd)
# wait() on finished processes. we don't want to block on the
# wait, so we keep trying each time we're reactivated
def clean(pl):