1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
/*
init ajax for IE & Mozilla
*/
function initRequest ()
{
try {
xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
} catch (e) { }
if (xmlhttp == null) {
try {
xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
} catch (e) { }
}
// Gecko / Mozilla / Firefox
if (xmlhttp == null)
xmlhttp = new XMLHttpRequest();
return xmlhttp;
}
var xmlhttp = initRequest ();
var timer = null;
var processID = null;
function showObject(id)
{
var obj = document.getElementById(id);
if (obj != null) {
obj.style.display="";
obj.visible = true;
}
}
function hideObject(id)
{
var obj = document.getElementById(id);
if (obj != null) {
obj.style.display="none";
obj.visible = false;
}
}
function initState ()
{
var URL = 'ajax.vsp?sa=init';
var rdf_url;
var mt;
processID = document.getElementById ("PID").value;
rdf_url = document.getElementById ("url").value;
mt = document.getElementById ("mt1").checked;
showProgress ();
xmlhttp.open("GET", URL+"&id=" + processID + "&url=" + escape (rdf_url) + "&mt=" + mt, true);
xmlhttp.onreadystatechange = function() {
if (xmlhttp.readyState == 4) {
timer = setTimeout("checkState()", 500);
}
}
xmlhttp.setRequestHeader("Pragma", "no-cache");
xmlhttp.send("");
}
function checkState()
{
var URL = 'ajax.vsp?sa=state';
xmlhttp.open("GET", URL+"&id="+processID, true);
xmlhttp.onreadystatechange = function() {
if (xmlhttp.readyState == 4) {
var rc;
// progressIndex
try {
rc = xmlhttp.responseText;
} catch (e) { }
if (rc != null)
{
rc = rc.replace(/\r/g, "");
rc = rc.replace(/\n/g, "");
rc = rc.replace(/\r\n/g, "");
};
if (rc == 'importing' && timer != null) {
setTimeout("checkState()", 500);
} else {
timer = null;
}
if (timer != null)
showProgress ();
else
showMsg (rc);
}
}
xmlhttp.setRequestHeader("Pragma", "no-cache");
xmlhttp.send("");
}
function showProgress ()
{
var obj = document.getElementById ("msg");
obj.innerHTML = '<img src="wait_16.gif" border="0"/> Please wait...';
}
function showMsg (msg)
{
var obj = document.getElementById ("msg");
obj.innerHTML = msg;
}
|
