From: Dave Barach <dave@barachs.net>
Date: Fri, 14 Feb 2020 12:32:54 +0000 (-0500)
Subject: vrrp dns: fix coverity warnings
X-Git-Tag: v20.09-rc0~586
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=a357a938019c8df2b061cc5bd14cd8a64fac694f;hp=a357a938019c8df2b061cc5bd14cd8a64fac694f;p=vpp.git

vrrp dns: fix coverity warnings

Type: fix
Ticket: VPP-1837

Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I0d164147173b452fee7e720e01e6a9991f43b64a
---