GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-20 06:52:21 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

cleanup old mplayer instances in profile unload as well

Browse source 
possible fix for users still having permission errors when
renaming profiles
This commit is contained in:
Damien Elmes 2019-03-05 09:01:31 +10:00
parent b168ce6eed
commit b5d4e78b94
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
anki/sound.py
View file

@ -298,6 +298,8 @@ def stopMplayer(*args):
if not mplayerManager: if not mplayerManager:
return return
mplayerManager.kill() mplayerManager.kill()
if isWin:
cleanupOldMplayerProcesses()
addHook("unloadProfile", stopMplayer) addHook("unloadProfile", stopMplayer)