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

make it safer

Browse Source
This commit is contained in:
Kuba
2025-10-31 18:26:23 +01:00
parent 68a843d5a2
commit ad05b2076c
1 changed files with 11 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
radioPlayer.py
View File

@@ -44,6 +44,7 @@ logger = log95.log95("radioPlayer", logger_level)
exit_pending = False exit_pending = False
intr_time = 0 intr_time = 0
exit_lock = threading.Lock()
@dataclass @dataclass
class Process: class Process:
@@ -105,6 +106,7 @@ procman = ProcessManager()
def handle_sigint(signum, frame): def handle_sigint(signum, frame):
global exit_pending, intr_time global exit_pending, intr_time
with exit_lock:
logger.info("Received SIGINT") logger.info("Received SIGINT")
if (time.time() - intr_time) > 5: if (time.time() - intr_time) > 5:
intr_time = time.time() intr_time = time.time()