Add coverity comment to wdctl_stop() to confirm death.

acv · acv · commit 4f4e2e19f22d · 2015-03-24T21:30:14.000-04:00
diff --git a/src/wdctl_thread.c b/src/wdctl_thread.c
@@ -249,6 +249,7 @@ wdctl_status(int fd)
 }
 
 /** A bit of an hack, self kills.... */
+/* coverity[+kill] */
 static void
 wdctl_stop(int fd)
 {
