Revision 286
Added by stefan almost 19 years ago
| settings.php | ||
|---|---|---|
| 24 | 24 |
// Get page id |
| 25 | 25 |
if(!isset($_GET['page_id']) OR !is_numeric($_GET['page_id'])) {
|
| 26 | 26 |
header("Location: index.php");
|
| 27 |
exit(0); |
|
| 27 | 28 |
} else {
|
| 28 | 29 |
$page_id = $_GET['page_id']; |
| 29 | 30 |
} |
Also available in: Unified diff
Added an exit call after every heading("Location:...") redirector to prevent unwanted execution of code.