info/whisper-local
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity

fix(app): Aktive Medien-Pausen vor Config-Reload fortsetzen

Browse Source 
Beim Ersetzen des Media-Controllers (z. B. wenn der User die
Checkbox deaktiviert) wurden ggf. noch pausierte Player nicht mehr
fortgesetzt. Jetzt wird resume() auf dem alten Controller aufgerufen,
bevor er ersetzt wird.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This commit is contained in:
Vitali Graf
2026-04-15 19:13:48 +02:00
parent 343240fec1
commit a1baee59f6
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
whisper_local/__main__.py
+2
View File
@@ -105,10 +105,12 @@ class App:
min_duration=new_config.min_duration, min_duration=new_config.min_duration,
device=new_config.microphone or None, device=new_config.microphone or None,
) )
old_media = self.media
self.media = create_media_controller( self.media = create_media_controller(
enabled=new_config.pause_media_during_recording enabled=new_config.pause_media_during_recording
) )
if self._loop is not None: if self._loop is not None:
asyncio.run_coroutine_threadsafe(old_media.resume(), self._loop)
asyncio.run_coroutine_threadsafe( asyncio.run_coroutine_threadsafe(
self._restart_hotkey(new_config.hotkey), self._loop self._restart_hotkey(new_config.hotkey), self._loop
) )