diff options
author | Justin Pettit <jpettit@nicira.com> | 2011-02-22 18:09:16 -0800 |
---|---|---|
committer | Justin Pettit <jpettit@nicira.com> | 2011-02-23 11:08:20 -0800 |
commit | 400eb935f2d781494b13569863ce9637d18ddb1a (patch) | |
tree | ab3a3584535c66793c525b8d3d13738e770d1669 /ovsdb | |
parent | 85683160294584a636ef07d5039c77acf616d82d (diff) |
ovsdb-tool: Close "log" in do_show_log().
Coverity #10726
Diffstat (limited to 'ovsdb')
-rw-r--r-- | ovsdb/ovsdb-tool.c | 1 |
1 files changed, 1 insertions, 0 deletions
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'. */ } |