diff options
| author | Scott Ullrich <sullrich@pfsense.org> | 2010-07-27 20:00:06 -0400 |
|---|---|---|
| committer | Scott Ullrich <sullrich@pfsense.org> | 2010-07-27 20:01:53 -0400 |
| commit | 2cdd52cc386a358d4bc269c884898312f5344622 (patch) | |
| tree | e7345c8319f09dcc1d0a4961f541496e147c4654 /usr/local/www/head.inc | |
| parent | d5b1ac99544fdf1d066036293c48ec48c840c0fc (diff) | |
| download | pfsense-2cdd52cc386a358d4bc269c884898312f5344622.zip pfsense-2cdd52cc386a358d4bc269c884898312f5344622.tar.gz | |
Allow setting <remote_managed_pages><item> page items such as /services_captiveportal.php which signals the GUI that the contents of the page are being controlled from a remote machine and disallow the GUI page from being edited.
Diffstat (limited to 'usr/local/www/head.inc')
| -rwxr-xr-x | usr/local/www/head.inc | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/usr/local/www/head.inc b/usr/local/www/head.inc index 3b1f028..076f274 100755 --- a/usr/local/www/head.inc +++ b/usr/local/www/head.inc @@ -76,4 +76,17 @@ $pagetitle = gentitle( $pgtitle ); if (!isset($closehead)) echo "</head>"; + +/* If this page is being remotely managed then do not allow the loading of the contents. */ +if($config['remote_managed_pages']['item']) { + foreach($config['remote_managed_pages']['item'] as $rmp) { + if($rmp == $_SERVER['SCRIPT_NAME']) { + include("fbegin.inc"); + print_info_box_np("This page is currently being managed by a remote machine."); + include("fend.inc"); + exit; + } + } +} + ?>
\ No newline at end of file |
