From f887ee81ffb1a42ccfd5f1549107e4218d85cf62 Mon Sep 17 00:00:00 2001
From: Christian Thaeter <ct@pipapo.org>
Date: Wed, 10 Feb 2010 22:46:13 +0100
Subject: [PATCH] fix a small memory leak

forgot to delete the filedescriptorregistry tree, destroyed it only.
---
 src/backend/filedescriptorregistry.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/backend/filedescriptorregistry.c b/src/backend/filedescriptorregistry.c
index 557be2da1..5dc186a3e 100644
--- a/src/backend/filedescriptorregistry.c
+++ b/src/backend/filedescriptorregistry.c
@@ -102,7 +102,7 @@ lumiera_filedescriptorregistry_destroy (void)
   lumiera_mutex_destroy (&filedescriptorregistry_mutex, &NOBUG_FLAG (mutex_dbg), NOBUG_CONTEXT);
 
   if (filedescriptorregistry)
-    psplay_destroy (filedescriptorregistry);
+    psplay_delete (filedescriptorregistry);
 
   filedescriptorregistry = NULL;
 }