- use !empty() instead of isset() from _coreDir

This commit is contained in:
steinm 2011-01-31 11:05:15 +00:00
parent 6ebfb6470a
commit fd4924682d

View File

@ -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');