From 0ad896e3b34767ba64207875395f4dcaf8aa02e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Deuc=D0=B5?= <shurd@sasktel.net>
Date: Tue, 7 Jan 2025 16:16:11 -0500
Subject: [PATCH] Remove likely obsolete Coverity suppression.
It can be added back if the issue reappears.
---
src/syncterm/ssh.c | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/syncterm/ssh.c b/src/syncterm/ssh.c
index 8762b5c561..0ed348e86c 100644
--- a/src/syncterm/ssh.c
+++ b/src/syncterm/ssh.c
@@ -340,7 +340,6 @@ ssh_output_thread(void *args)
SetThreadName("SSH Output");
conn_api.output_thread_running = 1;
- // coverity[thread1_checks_field:SUPPRESS]
while (!conn_api.terminate) {
pthread_mutex_lock(&(conn_outbuf.mutex));
wr = conn_buf_wait_bytes(&conn_outbuf, 1, 100);
--
GitLab