From d1eeaeead913af5f0f4860405b75f9d6fad94270 Mon Sep 17 00:00:00 2001
From: Philipp Holzer <admin@philipp.info>
Date: Mon, 9 Jul 2018 21:53:49 +0200
Subject: [PATCH] empty is not isset ...

---
 src/Core/System.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Core/System.php b/src/Core/System.php
index 058aca130d..2fcbee14f5 100644
--- a/src/Core/System.php
+++ b/src/Core/System.php
@@ -186,7 +186,7 @@ EOT;
 	{
 		if (is_bool($prefix) && !$prefix) {
 			$prefix = '';
-		} elseif (!isset($prefix)) {
+		} elseif (!empty($prefix)) {
 			$prefix = hash('crc32', self::getApp()->get_hostname());
 		}