diff options
author | Bill Marquette <billm@pfsense.org> | 2005-03-31 02:49:33 +0000 |
---|---|---|
committer | Bill Marquette <billm@pfsense.org> | 2005-03-31 02:49:33 +0000 |
commit | 37d160c268b0585bc8f6f14efbc8becddb153e61 (patch) | |
tree | fc0de29270e55f19bc4ee65d65d9380da8fc7e79 /usr/local/www/system.php | |
parent | d71e8f01400da2c87e9f2d28bd626ee4ceacf02b (diff) | |
download | pfsense-37d160c268b0585bc8f6f14efbc8becddb153e61.zip pfsense-37d160c268b0585bc8f6f14efbc8becddb153e61.tar.gz |
Restart webgui if either port or protocol is change
Diffstat (limited to 'usr/local/www/system.php')
-rwxr-xr-x | usr/local/www/system.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/usr/local/www/system.php b/usr/local/www/system.php index 453ea46..598335b 100755 --- a/usr/local/www/system.php +++ b/usr/local/www/system.php @@ -111,8 +111,9 @@ if ($_POST) { update_if_changed("domain", &$config['system']['domain'], strtolower($_POST['domain'])); update_if_changed("username", &$config['system']['username'], $_POST['username']); - $restart_webgui = update_if_changed("webgui protocol", &$config['system']['webgui']['protocol'], $pconfig['webguiproto']); - $restart_webgui = update_if_changed("webgui port", &$config['system']['webgui']['port'], $pconfig['webguiport']); + if (update_if_changed("webgui protocol", &$config['system']['webgui']['protocol'], $pconfig['webguiproto']) || update_if_changed("webgui port", &$config['system']['webgui']['port'], $pconfig['webguiport']) + $restart_webgui = true; + update_if_changed("timezone", &$config['system']['timezone'], $_POST['timezone']); update_if_changed("NTP servers", &$config['system']['timeservers'], strtolower($_POST['timeservers'])); update_if_changed("NTP update interval", &$config['system']['time-update-interval'], $_POST['timeupdateinterval']); |