When a workerthread dies of old age, make sure to nuke the mutex it may

have in its cached nobjhead.



git-svn-id: http://www.varnish-cache.org/svn/trunk/varnish-cache@1991 d4fa192b-c00b-0410-8231-f00ffab90ce4

bin/varnishd/cache_pool.c

@@ -256,8 +256,10 @@ wrk_thread(void *priv)
 	AZ(close(w->pipe[1]));
 	if (w->srcaddr != NULL)
 		free(w->srcaddr);
-	if (w->nobjhead != NULL)
+	if (w->nobjhead != NULL) {
+		MTX_DESTROY(&w->nobjhead->mtx);
 		FREE_OBJ(w->nobjhead);
+	}
 	if (w->nobj!= NULL)
 		FREE_OBJ(w->nobj);
 	return (NULL);