check if SEEDDMS_HOME is set

This commit is contained in:
Uwe Steinmann 2017-03-06 10:50:51 +01:00
parent 478b88b514
commit 1436d3d969

View File

@ -1,5 +1,11 @@
<?php
require_once("../inc/inc.ClassSettings.php");
if(isset($_SERVER['SEEDDMS_HOME'])) {
require_once($_SERVER['SEEDDMS_HOME']."/inc/inc.ClassSettings.php");
require_once($_SERVER['SEEDDMS_HOME']."/inc/inc.ClassAcl.php");
} else {
require_once("../inc/inc.ClassSettings.php");
require_once("../inc/inc.ClassAcl.php");
}
function usage() { /* {{{ */
echo "Usage:\n";