ebl get 404 instead of home for bad page= param

diff --git a/docs/home-page/de/inc/header.php b/docs/home-page/de/inc/header.php
index e9b69962a6d55bbbc702c32b95714ed7e8844254..d8ada90fb72809164d9369b7c270e794de32a8ca 100644 (file)
--- 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 d16d4b2606747a8dba3dae394a4458a934e90902..efff4f3e19d33917a60a4672513ec4762cdc7f30 100644 (file)
--- 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 c374589afcee44703b891b3a904be973284c6a12..6031fefa7b4e72056de179e2a24ac24f6501dd5c 100644 (file)
--- 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