diff options
Diffstat (limited to 'usr/local/www/interfaces_assign.php')
| -rwxr-xr-x | usr/local/www/interfaces_assign.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/usr/local/www/interfaces_assign.php b/usr/local/www/interfaces_assign.php index 7999fa3..2379ca2 100755 --- a/usr/local/www/interfaces_assign.php +++ b/usr/local/www/interfaces_assign.php @@ -195,6 +195,9 @@ if ($_GET['act'] == "add") { $pgtitle = "Interfaces: Assign"; include("head.inc"); +if(file_exists("/var/run/interface_mismatch_reboot_needed")) + $savemsg = "Interface mismatch deteceted. Please resolved the mismatch and click Save. The firewall will reboot afterwards."; + ?> <body link="#0000CC" vlink="#0000CC" alink="#0000CC"> @@ -287,6 +290,8 @@ include("head.inc"); if ($_POST) { if (!$input_errors) touch("/tmp/reload_interfaces"); + if(file_exists("/var/run/interface_mismatch_reboot_needed")) + exec("/etc/rc.reboot"); } ?>
\ No newline at end of file |
