From fd4924682d8f2b443a8d79d14fbbc345676f8deb Mon Sep 17 00:00:00 2001
From: steinm <steinm@577cc39b-cfd1-4aa2-8bc3-eda205cea05a>
Date: Mon, 31 Jan 2011 11:05:15 +0000
Subject: [PATCH] - use !empty() instead of isset() from _coreDir

---
 inc/inc.DBInit.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/inc/inc.DBInit.php b/inc/inc.DBInit.php
index 507f1e126..4be86d371 100644
--- a/inc/inc.DBInit.php
+++ b/inc/inc.DBInit.php
@@ -18,7 +18,7 @@
 //    along with this program; if not, write to the Free Software
 //    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 
-if(isset($settings->_coreDir))
+if(!empty($settings->_coreDir))
 	require_once($settings->_coreDir.'/LetoDMS_Core.php');
 else
 	require_once('LetoDMS/LetoDMS_Core.php');