[master] 89aa01f Plug an isignificant resource leak.

[Poul-Henning Kamp]

commit 89aa01f4e2a322da8bb682042549f03c5ae9612a
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Tue Oct 1 14:43:33 2013 +0000

    Plug an isignificant resource leak.
    
    Found by Coverity

diff --git a/bin/varnishd/mgt/mgt_param.c b/bin/varnishd/mgt/mgt_param.c
index e75191e..2c8b77a 100644
--- a/bin/varnishd/mgt/mgt_param.c
+++ b/bin/varnishd/mgt/mgt_param.c
@@ -607,6 +607,7 @@ tweak_poolparam(struct cli *cli, const struct parspec *par, const char *arg)
 			}
 			*pp = px;
 		} while(0);
+		VAV_Free(av);
 	}
 }