From d160101c6553fa7e17b0bd731f9c66e0bf75f71c Mon Sep 17 00:00:00 2001
From: Nathan Gray <nathangray.bsc@gmail.com>
Date: Mon, 6 Jul 2009 22:20:57 +0000
Subject: [PATCH] Make delete instance / domain checkbox actually remove the
 domain.  DB still needs to be dropped manually.

---
 setup/manageheader.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/setup/manageheader.php b/setup/manageheader.php
index 561d614840..50fb9bb327 100644
--- a/setup/manageheader.php
+++ b/setup/manageheader.php
@@ -168,7 +168,12 @@ function check_header_form()
 	// setting the domain settings from the posted content
 	foreach($_POST['domains'] as $key => $domain)
 	{
-		if ($_POST['deletedomain'][$key]) continue;	// domain deleted
+		if ($_POST['deletedomain'][$key]) 
+		{
+			// Need to actually remove the domain.  Drop the DB manually.
+			unset($GLOBALS['egw_domain'][$domain]);
+			continue;
+		}
 
 		foreach($_POST['setting_'.$key] as $name => $value)
 		{