From d765cc86338a72e8e0dfd2d1a74b48bb8e19f781 Mon Sep 17 00:00:00 2001 From: "Michael Kaufmann (d00p)" Date: Sat, 27 Dec 2014 18:35:31 +0100 Subject: [PATCH] fix possible undefined variable if session timed out after login and re-login with another user Signed-off-by: Michael Kaufmann (d00p) --- lib/init.php | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/init.php b/lib/init.php index d91022cf..6b63dc5d 100644 --- a/lib/init.php +++ b/lib/init.php @@ -406,6 +406,7 @@ if (isset($userinfo['loginname']) /** * Fills variables for navigation, header and footer */ +$navigation = ""; if (AREA == 'admin' || AREA == 'customer') { if (hasUpdates($version)) { /*