diff cli-session.c @ 1641:a2bbc22ea1e6 coverity

merge coverity
author Matt Johnston <matt@ucc.asn.au>
date Thu, 21 Mar 2019 00:14:38 +0800
parents 79eef94ccea9
children d5cdc60db08e
line wrap: on
line diff
--- a/cli-session.c	Wed Mar 21 00:52:02 2018 +0800
+++ b/cli-session.c	Thu Mar 21 00:14:38 2019 +0800
@@ -356,6 +356,7 @@
 }
 
 static void cli_finished() {
+	TRACE(("cli_finised()"))
 
 	session_cleanup();
 	fprintf(stderr, "Connection to %s@%s:%s closed.\n", cli_opts.username,