4
if (preg_match("/^(.*\/)(services|system)\/?$/", $cwd, $m)) $ROOTDIR = $m[1];
5
else $ROOTDIR = $cwd . "/";
7
if (isset($_GET['adei_session'])) $ADEI_SESSION = $_GET['adei_session'];
8
else $ADEI_SESSION = "00000000000000000000000000000000";
10
date_default_timezone_set("GMT");
12
require("config.php");
15
require("classes/profiler.php");
17
require("classes/request.php");
18
require("classes/options.php");
19
require("classes/database.php");
20
require("classes/datahandler.php");
22
require("classes/common.php");
23
require("classes/exception.php");
24
require("classes/lock.php");
25
require("classes/loggroup.php");
26
require("classes/interval.php");
27
require("classes/mask.php");
28
require("classes/resolution.php");
29
require("classes/data.php");
31
require("classes/reader.php");
32
require("classes/cache.php");
33
require("classes/draw.php");
34
require("classes/export.php");
37
//require("classes/zeus.php");
39
function adei_app($name, $opts=false, $throw=false) {
40
global $ADEI_APP_PATH;
42
if (isset($ADEI_APP_PATH[$name])) $appname = $ADEI_APP_PATH[$name];
43
else $appname = $ADEI_APP_PATH["default"] . $name;
45
if (!file_exists($appname)) {
46
if ($throw) throw new ADEIException("Application \"$name\" is not installed");
50
if (!is_executable($appname)) {
51
if ($throw) throw new ADEIException("Application \"$name\" is not executable");
55
return $appname . ($opts?(" " . $opts):"");
b'\\ No newline at end of file'