Re: kern/46734: pool not drained

[Martin Husemann <martin%duskware.de@localhost>]

The following reply was made to PR kern/46734; it has been noted by GNATS.

From: Martin Husemann <martin%duskware.de@localhost>
To: Emmanuel Dreyfus <manu%netbsd.org@localhost>
Cc: gnats-bugs%NetBSD.org@localhost
Subject: Re: kern/46734: pool not drained
Date: Wed, 25 Jul 2012 10:04:41 +0200

 Forgot to add: from the "show pool" output the pool in question is:
 
 void
 puffs_msgif_destroy(void)
 {
   
         pool_cache_destroy(parkpc);
 }
 
 
 Martin