From: Justin Pettit <jpettit@nicira.com>
Date: Wed, 23 Feb 2011 02:09:16 +0000 (-0800)
Subject: ovsdb-tool: Close "log" in do_show_log().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=400eb935f2d781494b13569863ce9637d18ddb1a;p=openvswitch

ovsdb-tool: Close "log" in do_show_log().

Coverity #10726
---

diff --git a/ovsdb/ovsdb-tool.c b/ovsdb/ovsdb-tool.c
index 4f55b6ad..27549099 100644
--- a/ovsdb/ovsdb-tool.c
+++ b/ovsdb/ovsdb-tool.c
@@ -459,6 +459,7 @@ do_show_log(int argc OVS_UNUSED, char *argv[])
         putchar('\n');
     }
 
+    ovsdb_log_close(log);
     /* XXX free 'names'. */
 }