From c90dcc8b09730c981897feb5a77c7392ce5e2194 Mon Sep 17 00:00:00 2001 From: Eric Bollengier Date: Sun, 5 Oct 2008 14:35:52 +0000 Subject: [PATCH] ebl get 404 instead of home for bad page= param --- docs/home-page/de/inc/header.php | 4 +++- docs/home-page/en/inc/header.php | 4 +++- docs/home-page/fr/inc/header.php | 4 +++- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/docs/home-page/de/inc/header.php b/docs/home-page/de/inc/header.php index e9b69962..d8ada90f 100644 --- a/docs/home-page/de/inc/header.php +++ b/docs/home-page/de/inc/header.php @@ -11,7 +11,9 @@ */ isset($page) || $page = "home"; // default page to show if (!preg_match("/^[a-zA-Z0-9_\-]+$/", $page)) { - $page = "home"; + sleep(5); + header("HTTP/1.0 404 Not Found"); + exit; } $page_directory = "pages"; // directory with pages diff --git a/docs/home-page/en/inc/header.php b/docs/home-page/en/inc/header.php index d16d4b26..efff4f3e 100644 --- a/docs/home-page/en/inc/header.php +++ b/docs/home-page/en/inc/header.php @@ -11,7 +11,9 @@ */ isset($page) || $page = "home"; // default page to show if (!preg_match("/^[a-zA-Z0-9_\-]+$/", $page)) { - $page = "home"; + sleep(5); + header("HTTP/1.0 404 Not Found"); + exit; } $page_directory = "pages"; // directory with pages diff --git a/docs/home-page/fr/inc/header.php b/docs/home-page/fr/inc/header.php index c374589a..6031fefa 100644 --- a/docs/home-page/fr/inc/header.php +++ b/docs/home-page/fr/inc/header.php @@ -11,7 +11,9 @@ */ isset($page) || $page = "home"; // default page to show if (!preg_match("/^[a-zA-Z0-9_\-]+$/", $page)) { - $page = "home"; + sleep(5); + header("HTTP/1.0 404 Not Found"); + exit; } $page_directory = "pages"; // directory with pages -- 2.39.5