diff --git a/src/syncterm/ssh.c b/src/syncterm/ssh.c index 8762b5c56122bf330665e8841624a38594a7324b..0ed348e86ccc9cf17df16f86507f7238d003edf7 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);