diff options
author | Bill Marquette <billm@pfsense.org> | 2005-07-03 15:11:29 +0000 |
---|---|---|
committer | Bill Marquette <billm@pfsense.org> | 2005-07-03 15:11:29 +0000 |
commit | 5b243f4ea7750ebbdd82bb391a47963626872b4e (patch) | |
tree | e02261f46a8676caab92bfbf6d74518a5a367d0e /usr/local/www/fbegin.inc | |
parent | b8de522e4f7feb80d4b896847a11ea0ea78defcd (diff) | |
download | pfsense-5b243f4ea7750ebbdd82bb391a47963626872b4e.zip pfsense-5b243f4ea7750ebbdd82bb391a47963626872b4e.tar.gz |
Add developers menu
Allow devs to restart mini_httpd from webgui
Diffstat (limited to 'usr/local/www/fbegin.inc')
-rwxr-xr-x | usr/local/www/fbegin.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/usr/local/www/fbegin.inc b/usr/local/www/fbegin.inc index 2dde58e..c6220b6 100755 --- a/usr/local/www/fbegin.inc +++ b/usr/local/www/fbegin.inc @@ -148,6 +148,10 @@ function showhide_black(tspan, tri) { <a href="/status_wireless.php" class="navlnk">Wireless</a><br> <?php endif; ?> <?php echo return_ext_menu("Status"); ?> +<?php if (isset($config['system']['developer'])) { ?> + <strong>Developers</strong><br> + <a href="/restart_httpd.php" class="navlnk">Restart HTTPD</a><br> +<?php } ?> <?php if (isset($config['system']['webgui']['expanddiags']) || strstr($_SERVER['SCRIPT_FILENAME'], "diag_") || strstr($_SERVER['SCRIPT_FILENAME'], "reboot")): ?> <a href="javascript:showhide('diag','tri_diag')"><img src="/tri_o.gif" id="tri_diag" width="14" height="10" border="0"></a><strong><a href="javascript:showhide('diag','tri_diag')" class="navlnk">Diagnostics</a></strong><br> <span id="diag"> |