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

some changes

This commit is contained in:
Kuba
2025-10-11 18:05:38 +02:00
parent 2cb78f61b9
commit 63dc62cf61
3 changed files with 23 additions and 9 deletions

View File

@@ -103,8 +103,7 @@ class ProcessManager:
return pr
def anything_playing(self) -> bool:
with self.lock:
for process in self.processes:
if process.process.poll() is not None: self.processes.remove(process)
self.processes = [p for p in self.processes if p.process.poll() is None]
return bool(self.processes)
def stop_all(self, timeout: float | None = None) -> None:
with self.lock:
@@ -228,7 +227,7 @@ def play_playlist(playlist_path, custom_playlist: bool=False):
for (lns, args) in parsed:
lns: list[str]
args: dict[str, str]
for line in lns: playlist.append((line, True, True, True, args))
for line in lns: playlist.append((line, True, True, True, args)) # simple entry, just to convert to a format taken by the modules
for module in playlist_modifier_modules: playlist = module.modify(global_args, playlist)