Merge pull request Ericsson#4075 from whisperity/feat/store/timeout-m…

…essage chore(store): Give a name to the timeout watchdog thread
forgottenbutnotgone · Nov 7, 2023 · 4677ae6 · 4677ae6
2 parents c34606a + 2a5d323
commit 4677ae6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/web/client/codechecker_client/cmd/store.py b/web/client/codechecker_client/cmd/store.py
@@ -798,6 +798,7 @@ def _signal_handler(sig: int, frame):
     pid = os.getpid()
     timer = Timer(timeout.total_seconds(),
                   lambda: os.kill(pid, trap))
+    timer.name = "StoreTimeoutWatcher"
     LOG.debug("Set up timer for %d seconds (%s) for PID %d",
               timeout.total_seconds(), str(timeout), pid)
     try: