Revision 6dfb6b27
Added by Phil Davis about 9 years ago
src/usr/local/www/restart_httpd.php | ||
---|---|---|
68 | 68 |
?> |
69 | 69 |
|
70 | 70 |
<form> |
71 |
<?php include("fbegin.inc"); ?> |
|
71 |
<?php include_once("fbegin.inc"); ?>
|
|
72 | 72 |
|
73 | 73 |
<?=gettext("Mounting file systems read/write");?>... |
74 | 74 |
<?php flush(); sleep(1); conf_mount_rw(); ?> |
Also available in: Unified diff
Update include() to include_once()
For safety, use include_once() when including various "side" files.
There are a couple of instances of include("guiconfig,inc") that I
changes to use require_once() to be consistent with everywhere else.
The remaining cases of include() are just (hundreds of) head.inc and
footer.inc - those are only at the start/end of the ordinary top-level
interactive PHP files. There is no nested interaction of those to think
about, so that should be fine.