From c734f07c0ec1a0854aee95db728dd141cbd9f7c3 Mon Sep 17 00:00:00 2001
From: dg9vh <kim@huebel-online.de>
Date: Wed, 25 May 2016 15:13:34 +0000
Subject: [PATCH] defined is the better way... but also throws notice in
 error.log

---
 include/tools.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/tools.php b/include/tools.php
index 07da051..d8a2bfe 100644
--- a/include/tools.php
+++ b/include/tools.php
@@ -55,7 +55,7 @@ function createConfigLines() {
 } 
 
 function checkSetup() {
-	if (null == DISTRIBUTION) {
+	if (defined(DISTRIBUTION)) {
 ?>
 <div class="alert alert-danger" role="alert">You are using an old config.php. Please configure your Dashboard by calling <a href="setup.php">setup.php</a>!</div>
 <?php