radio95/RadioPlayer
0
1
Fork 0
mirror of https://github.com/radio95-rnt/RadioPlayer.git synced 2026-02-26 21:53:54 +01:00
Code Issues Activity

terminate

Browse Source
This commit is contained in:
Kuba
2025-10-11 19:12:52 +02:00
parent bfc35f0034
commit cfc62820d0
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
radioPlayer.py
View File

@@ -115,7 +115,8 @@ class ProcessManager:
def wait_all(self, timeout: float | None = None) -> None: def wait_all(self, timeout: float | None = None) -> None:
with self.lock: with self.lock:
for process in self.processes: for process in self.processes:
process.process.wait(timeout) try: process.process.wait(timeout)
except: process.process.terminate()
self.processes.remove(process) self.processes.remove(process)
procman = ProcessManager() procman = ProcessManager()