0
1
mirror of https://github.com/radio95-rnt/RadioPlayer.git synced 2026-02-27 06:03:52 +01:00

sometimes it doesnt quit properly

This commit is contained in:
2025-09-22 12:12:27 +02:00
parent 2517015fe4
commit 21f52dbc01

View File

@@ -102,7 +102,7 @@ class ProcessManager:
for process in self.processes[:]: for process in self.processes[:]:
if process.process.poll() is not None: self.processes.remove(process) if process.process.poll() is not None: self.processes.remove(process)
return bool(self.processes) return bool(self.processes)
def stop_all(self, timeout: float | None = 2) -> bool: def stop_all(self, timeout: float | None = None) -> bool:
success = True success = True
with self.lock: with self.lock:
for process in self.processes: for process in self.processes:
@@ -131,7 +131,7 @@ def handle_sigint(signum, frame):
return return
else: else:
logger.warning("Force-Quit pending") logger.warning("Force-Quit pending")
procman.stop_all(None) procman.stop_all()
exit(0) exit(0)
def handle_sighup(signum, frame): def handle_sighup(signum, frame):