ebl Fix small warning in error_log

diff --git a/docs/home-page/de/inc/footer.php b/docs/home-page/de/inc/footer.php
index 80a6701606f01c02cee3ab6d490868c9c2d79bb4..5a8471144b4898ffc1b646db6e6fcef02b74a66e 100644 (file)
--- a/docs/home-page/de/inc/footer.php
+++ b/docs/home-page/de/inc/footer.php
@@ -1,7 +1,7 @@
          <div>
             <img src="/images/spacer.gif" alt="spacer" width="1px" height="50px"><br>
               <?
-               if($_SESSION['user'] == "bukdebug")
+               if(isset($_SESSION['user']) && ($_SESSION['user'] == "bukdebug"))
                   print_r($_SERVER);
               ?>
          </div>

diff --git a/docs/home-page/de/inc/header.php b/docs/home-page/de/inc/header.php
index 7c65e113c9d5b7f09eac269375776a86731532c5..e9b69962a6d55bbbc702c32b95714ed7e8844254 100644 (file)
--- a/docs/home-page/de/inc/header.php
+++ b/docs/home-page/de/inc/header.php
@@ -98,7 +98,7 @@
 
    <!-- User Bar - if logged in -->
    <?
-   if($_SESSION['logged_in']) {
+   if(isset($_SESSION['logged_in'])) {
       printf('<div class="userBar">');
       printf('Welcome %s, <a style="color: white; text-decoration: none" href="/?page=logout">logout here</a>.', $_SESSION['user']);
       printf('</div>');

diff --git a/docs/home-page/en/inc/footer.php b/docs/home-page/en/inc/footer.php
index 00cb988f87e2e78e9968f24b54239e037c94d9af..7ccbd8e07409bc3d0f9fa543833133505afee265 100644 (file)
--- a/docs/home-page/en/inc/footer.php
+++ b/docs/home-page/en/inc/footer.php
@@ -1,7 +1,7 @@
          <div>
             <img src="../images/spacer.gif" alt="spacer" width="1px" height="50px"><br>
               <?
-               if($_SESSION['user'] == "bukdebug")
+               if(isset($_SESSION['user']) && ($_SESSION['user'] == "bukdebug"))
                   print_r($_SERVER);
               ?>
          </div>

diff --git a/docs/home-page/en/inc/header.php b/docs/home-page/en/inc/header.php
index 35e54ac8d06859c4ffb09aba57aaeeafd54e8593..d16d4b2606747a8dba3dae394a4458a934e90902 100644 (file)
--- a/docs/home-page/en/inc/header.php
+++ b/docs/home-page/en/inc/header.php
@@ -99,7 +99,7 @@
 
    <!-- User Bar - if logged in -->
    <?
-   if($_SESSION['logged_in']) {
+   if(isset($_SESSION['logged_in'])) {
       printf('<div class="userBar">');
       printf('Welcome %s, <a style="color: white; text-decoration: none" href="/?page=logout">logout here</a>.', $_SESSION['user']);
       printf('</div>');

diff --git a/docs/home-page/fr/inc/footer.php b/docs/home-page/fr/inc/footer.php
index 13dbecd91370a74613d7384cfd0bb6fea495640d..de8a8b95782c8761c70d10f450ce341de49b0be4 100644 (file)
--- a/docs/home-page/fr/inc/footer.php
+++ b/docs/home-page/fr/inc/footer.php
@@ -1,7 +1,7 @@
          <div>
             <img src="../images/spacer.gif" alt="spacer" width="1" height="50"><br>
               <?
-               if($_SESSION['user'] == "bukdebug")
+               if(isset($_SESSION['user']) && ($_SESSION['user'] == "bukdebug"))
                   print_r($_SERVER);
               ?>
          </div>

diff --git a/docs/home-page/fr/inc/header.php b/docs/home-page/fr/inc/header.php
index 10506b6083086309b28ed3abb4d69965b5d9def5..c374589afcee44703b891b3a904be973284c6a12 100644 (file)
--- a/docs/home-page/fr/inc/header.php
+++ b/docs/home-page/fr/inc/header.php
@@ -102,7 +102,7 @@
 
     <!-- User Bar - if logged in -->
     <?
-    if($_SESSION['logged_in']) {
+    if(isset($_SESSION['logged_in'])) {
        printf('<div class="userBar">');
        printf('Welcome %s, <a style="color: white; text-decoration: none" href="/?page=logout">logout here</a>.', $_SESSION['user']);
        printf('</div>');