7
header("Content-Type: application/xhtml+xml; charset=UTF-8");
8
header("Content-Type: text/html; charset=UTF-8");
9
header("Cache-Control: no-cache, must-revalidate");
10
header("Expires: Mon, 26 Jul 1997 05:00:00 GMT");
12
if (isset($_GET["module"])) $config_module = $_GET["module"];
13
else $config_module = $DEFAULT_MODULE;
15
$config_options = &$_GET;
16
if (sizeof($config_options)) $config_options["apply"] = 1;
19
if (isset($_SESSION['setup'])) {
20
if ($_SESSION['setup'] != $SETUP) {
21
session_regenerate_id();
22
$_SESSION['setup'] = $SETUP;
25
$_SESSION['setup'] = $SETUP;
29
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
30
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:xf="http://www.w3.org/2002/xforms" xmlns:ev="http://www.w3.org/2001/xml-events" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
32
<title>ADEI (Advanced Data Extraction Infrastracture) </title>
34
<link rel="stylesheet" type="text/css" href="adei.css"/> <?/* Should be first, otherwise cssSetProperty would not work */?>
35
<? if (file_exists($SETUP_CSS)) {?>
36
<link rel="stylesheet" type="text/css" href="<?echo $SETUP_CSS;?>"/>
38
<link rel="stylesheet" type="text/css" href="includes/dhtmlx/dhtmlxmenu.css"/>
40
<script type="text/javascript" src="includes/datetimepicker.js"></script>
41
<script type="text/javascript" src="includes/prototype.js"></script>
42
<script type="text/javascript" src="includes/scriptaculous/scriptaculous.js?load=builder,effects,dragdrop"></script>
43
<?/*<script type="text/javascript" src="includes/scriptaculous/extra/resizable.js"></script>*/?>
46
This causes Ajax.Request (prototype) to return on 'onSuccess' handler
47
status=0 (should be 200) and undefined responseText.
48
This happens ocassionally (not always). Could be stimulated by openning
49
current ADEI page in the new tab. Occurce much rare if reloaded in the
50
same tab and even more rare than just pressing Apply button. However, still
53
<script type="text/javascript" src="includes/ext/adapter/prototype/ext-prototype-adapter.js"></script>
54
<script type="text/javascript" src="includes/ext/ext-all.js"></script>
57
<script type="text/javascript" src="includes/cropper/cropper.js"></script>
59
<?/*<script type="text/javascript" src="includes/dhtmlHistory.js"></script>*/?>
60
<script type="text/javascript" src="includes/rsh.js"></script>
62
<script type="text/javascript" src="includes/dhtmlx/dhtmlxprotobar.js"></script>
63
<script type="text/javascript" src="includes/dhtmlx/dhtmlxmenubar.js"></script>
64
<script type="text/javascript" src="includes/dhtmlx/dhtmlxcommon.js"></script>
66
<script type="text/javascript" src="js/xml.js"></script>
67
<script type="text/javascript" src="js/dom.js"></script>
68
<script type="text/javascript" src="js/dialog.js"></script>
69
<script type="text/javascript" src="js/dialog_dragger.js"></script>
70
<script type="text/javascript" src="js/select.js"></script>
71
<script type="text/javascript" src="js/module.js"></script>
72
<script type="text/javascript" src="js/popup.js"></script>
73
<script type="text/javascript" src="js/window.js"></script>
74
<script type="text/javascript" src="js/interval.js"></script>
75
<script type="text/javascript" src="js/source.js"></script>
76
<script type="text/javascript" src="js/export.js"></script>
77
<script type="text/javascript" src="js/graph.js"></script>
78
<script type="text/javascript" src="js/updater.js"></script>
79
<script type="text/javascript" src="js/config.js"></script>
80
<script type="text/javascript" src="js/history.js"></script>
81
<script type="text/javascript" src="js/menu.js"></script>
82
<script type="text/javascript" src="js/tools.js"></script>
83
<script type="text/javascript" src="js/adei.js"></script>
85
<script type="text/javascript" ev:event="onload">
88
var new_width = windowGetWidth();
89
var new_height = (windowGetHeight() - document.getElementById("header_div").offsetHeight);
90
<?moduleAdjustGeometry("new_width", "new_height");?>
94
var adei_options = new Object();
95
<?foreach ($config_options as $key => $value) {
96
echo "adei_options." . $key . "=\"" . $value . "\";\n";
99
adei = new ADEI("main_sidebar", "menu_zone", "<?echo session_id();?>");
100
adei.SetOptions(adei_options);
102
adei.SetProperty('window_border', <?echo $AJAX_WINDOW_BORDER;?>);
103
adei.SetProperty('parse_delay', <?echo $AJAX_PARSE_DELAY;?>);
104
adei.SetProperty('subsecond_threshold', <?echo $GRAPH_SUBSECOND_THRESHOLD;?>);
105
adei.SetProperty('zoom_ratio', <?echo $GRAPH_ZOOM_RATIO;?>);
107
<?if ($SETUP_MULTI_MODE) {?>
108
adei.AddToQuery('setup=<?echo $SETUP?>');
113
adei.Start('<?echo $config_module;?>', <?echo $AJAX_UPDATE_RATE;?>);
120
<body onload="javascript:Startup()" onresize="Geometry()">
121
<div class="all ales">
122
<div id="header_div" class="header">
123
<table width="100%" cellspacing="0" cellpadding="0"><tr>
125
<b><?echo $TITLE;?></b>
126
</td><td class="links">
127
<div><?moduleLinkModules();?></div>
132
<table align="center" cellspacing="0" cellpadding="0">
136
<tr <?/*style="height: 100%"*/?>>
137
<td id="main_sidebar">
138
<div id="menu_zone" class="menu_button"></div>
139
<?moduleLinkPopups();?>
141
<td width="100%"><?modulePlacePages();?></td>