tree fb35404bdb4db79925891779e3be118eca8e85dd
parent ead88af5f577fd2b399a0fcdfe52605116fac489
author Joern Engel <joern@logfs.org> 1271311437 +0200
committer Joern Engel <joern@logfs.org> 1271311437 +0200

[LogFS] Prevent mempool_destroy NULL pointer dereference

It would probably be better to just accept NULL pointers in
mempool_destroy().  But for the current -rc series let's keep things
simple.

This patch was lost in the cracks for a while.
Kevin Cernekee <cernekee@gmail.com> had to rediscover the problem and
send a similar patch because of it. :(

Signed-off-by: Joern Engel <joern@logfs.org>