blob: 085215f7bc70a5faa7a16be8398dc7cdec0651a6 (
plain)
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
|
// python3 -m http.server
const data_dir = 'data';
const index_file = "pmsl_t850.index.json";
var index = null;
var mapframe = null;
function httpGetAsync(url, callback)
{
var xmlHttp = new XMLHttpRequest();
xmlHttp.onreadystatechange = function() {
if (xmlHttp.readyState == 4 && xmlHttp.status == 200)
callback(xmlHttp.responseText);
}
xmlHttp.open("GET", url, true);
xmlHttp.send(null);
}
function loadIndexFromJson(raw_text) {
index = JSON.parse(raw_text);
//TODO pass index here. that would be cleaner than public vars.
build_interface();
}
function build_indexlist() {
if (index==null) {
return;
}
div = document.createElement('div');
div.classList.add('index');
list = document.createElement('ul');
for (const i in index) {
var map = index[i];
a = document.createElement('a');
a.classList.add('link');
a.setAttribute('href', '');// data_dir + '/' + map.file);
a.setAttribute('mapfile', map.file);
a.onclick = indexlink_click;
a.innerText = map.valid_offset;
a.id = map.file;
li = document.createElement('li');
li.appendChild(a);
list.appendChild(li);
}
div.appendChild(list);
return div;
}
function indexlink_click(e) {
console.log(this.id);
mapframe.src = data_dir + '/' + this.getAttribute('mapfile');
return false;
}
function build_mapframe() {
div = document.createElement('div');
div.classList.add('mapframe');
frame = document.createElement('img');
//frame.classList.add('mapframe');
mapframe = frame;
div.appendChild(frame);
return div;
}
function build_interface() {
index = build_indexlist();
mapframe = build_mapframe();
document.body.appendChild(index);
document.body.appendChild(mapframe);
}
function clear_interface() {
index.remove();
mapframe.remove();
}
window.onload = function() {
httpGetAsync(data_dir + '/' + index_file, loadIndexFromJson);
}
|