From 1c2179628207e233d9b9830937baab5ca65b4d28 Mon Sep 17 00:00:00 2001
From: Mark Crane <markjcrane@gmail.com>
Date: Wed, 19 Dec 2012 21:03:14 +0000
Subject: [PATCH] Change the default settings names.

---
 login.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/login.php b/login.php
index 7be367d919..8502a40b48 100644
--- a/login.php
+++ b/login.php
@@ -95,16 +95,16 @@ echo "	<input type=\"password\" style='width: 150px;' class='formfld' name=\"pas
 echo "</td>\n";
 echo "</tr>\n";
 
-if ($_SESSION['security']['login']['domain_name'] == "true") {
+if ($_SESSION['login']['domain_name.visible']['boolean'] == "true") {
 	echo "<tr>\n";
 	echo "<td align='left'>\n";
 	echo "	<strong>Domain:</strong>\n";
 	echo "</td>\n";
 	echo "<td>\n";
-	if (count($_SESSION['login']['domain']) > 0) {
+	if (count($_SESSION['login']['domain_name']) > 0) {
 		echo "    <select style='width: 150px;' class='formfld' name='domain_name'>\n";
 		echo "    <option value=''></option>\n";
-		foreach ($_SESSION['login']['domain'] as &$row) {
+		foreach ($_SESSION['login']['domain_name'] as &$row) {
 			echo "    <option value='$row'>$row</option>\n";
 		}
 		echo "    </select>\n";