diff options
| author | Bill Marquette <billm@pfsense.org> | 2005-03-21 04:35:29 +0000 |
|---|---|---|
| committer | Bill Marquette <billm@pfsense.org> | 2005-03-21 04:35:29 +0000 |
| commit | ce62fee7c2d0d57f422a78c1b3cb5b85d1893efc (patch) | |
| tree | d7d679ed56483bd438f510a5ac26714ac6e73f8b /usr | |
| parent | 390c2739d2280dd1798855b4d0d283d30120aaa0 (diff) | |
| download | pfsense-ce62fee7c2d0d57f422a78c1b3cb5b85d1893efc.zip pfsense-ce62fee7c2d0d57f422a78c1b3cb5b85d1893efc.tar.gz | |
same loving for port number changes
Diffstat (limited to 'usr')
| -rwxr-xr-x | usr/local/www/system.php | 7 |
1 files changed, 5 insertions, 2 deletions
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 |
