From ce62fee7c2d0d57f422a78c1b3cb5b85d1893efc Mon Sep 17 00:00:00 2001
From: Bill Marquette <billm@pfsense.org>
Date: Mon, 21 Mar 2005 04:35:29 +0000
Subject: same loving for port number changes

---
 usr/local/www/system.php | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'usr')

diff --git a/usr/local/www/system.php b/usr/local/www/system.php
index 6c63de4..574ada6 100755
--- a/usr/local/www/system.php
+++ b/usr/local/www/system.php
@@ -139,7 +139,10 @@ if ($_POST) {
 			($oldwebguiport != $config['system']['webgui']['port'])) {
 			global $_SERVER;
 			system_webgui_start();
-			header("Location: {$config['system']['webgui']['protocol']}://{$_SERVER['SERVER_NAME']}/system.php");
+			if ($pconfig['webguiport'])
+				header("Location: {$pconfig['webguiproto']}://{$_SERVER['SERVER_NAME']}:{$pconfig['webguiport']}/system.php");
+			else
+				header("Location: {$pconfig['webguiproto']}://{$_SERVER['SERVER_NAME']}/system.php");
 		}
 
 		$retval = 0;
@@ -232,7 +235,7 @@ if ($_POST) {
                 </tr>
                 <tr>
                   <td valign="top" class="vncell">webGUI port</td>
-                  <td class="vtable"> <input name="webguiport" type="text" class="formfld" id="webguiport" size="5" value="<?=htmlspecialchars($pconfig['webguiport']);?>">
+                  <td class="vtable"> <input name="webguiport" type="text" class="formfld" id="webguiport" onchange="'webGUI port changes will take effect immediately after clicking save') "size="5" value="<?=htmlspecialchars($pconfig['webguiport']);?>">
                     <br>
                     <span class="vexpl">Enter a custom port number for the webGUI
                     above if you want to override the default (80 for HTTP, 443
-- 
cgit v1.1