From b5d4e78b94b2e66ea9d5adaae3bcbfcbb8bdebf9 Mon Sep 17 00:00:00 2001
From: Damien Elmes <gpg@ankiweb.net>
Date: Tue, 5 Mar 2019 09:01:31 +1000
Subject: [PATCH] cleanup old mplayer instances in profile unload as well

possible fix for users still having permission errors when
renaming profiles
---
 anki/sound.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/anki/sound.py b/anki/sound.py
index c366f7e36..cf521816c 100644
--- a/anki/sound.py
+++ b/anki/sound.py
@@ -298,6 +298,8 @@ def stopMplayer(*args):
     if not mplayerManager:
         return
     mplayerManager.kill()
+    if isWin:
+        cleanupOldMplayerProcesses()
 
 addHook("unloadProfile", stopMplayer)