From f06523ec749d7c5a2c614307c6e2a8936037ce6b Mon Sep 17 00:00:00 2001
From: dave <dave>
Date: Fri, 6 Nov 2009 22:13:51 +0000
Subject: [PATCH] Forgot a closedir()

---
 config_editor.inc.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config_editor.inc.php b/config_editor.inc.php
index 08741725..37a0978e 100644
--- a/config_editor.inc.php
+++ b/config_editor.inc.php
@@ -333,6 +333,7 @@ function config_editor($category, $year, $array_name, $self)
 				$sel = ($cur == $f) ? 'selected=selected' : '';
 				print("<option $sel value=\"$f\">{$t['name']}</option>");
 			}
+			closedir($d);
 
 			print("</select>");
 			break;