From a79e18d1c7b38993460267dc7001afedeba18b92 Mon Sep 17 00:00:00 2001
From: Eric Bollengier <eric@eb.homelinux.org>
Date: Fri, 3 Oct 2008 14:40:18 +0000
Subject: [PATCH] ebl  Fix small warning in error_log

---
 docs/home-page/de/inc/footer.php | 2 +-
 docs/home-page/de/inc/header.php | 2 +-
 docs/home-page/en/inc/footer.php | 2 +-
 docs/home-page/en/inc/header.php | 2 +-
 docs/home-page/fr/inc/footer.php | 2 +-
 docs/home-page/fr/inc/header.php | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/docs/home-page/de/inc/footer.php b/docs/home-page/de/inc/footer.php
index 80a67016..5a847114 100644
--- 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 7c65e113..e9b69962 100644
--- 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 00cb988f..7ccbd8e0 100644
--- 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 35e54ac8..d16d4b26 100644
--- 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 13dbecd9..de8a8b95 100644
--- 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 10506b60..c374589a 100644
--- 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>');
-- 
2.39.5