blob: d945ce00ad4072d1e39da4974c2b23706972ef83 (
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
|
<head>
<script src="./scripts/d3.v4.min.js"></script>
<script src="./scripts/create_table.js"></script>
<?php
include("header_new.inc");
include("input_validate.php");
$keyval=valid_keyval($_GET["My_key"]);
//$dir="./data/";
//$dir="/tmp/bnw/";
$dir = "/var/lib/genenet/bnw/";
$settings_file = $keyval."slsettings.txt";
?>
</head>
<!-- Site navigation menu -->
<ul class="navbar2">
<li class="noHover"><p>Network ID:<br><?php print($keyval);?></p></li>
<li><a href="about_this_page.php#parameters">About this page</a>
<li><a href="help.php">Help</a>
<li><a href="home.php">Home</a>
</ul>
<body>
<?php
if(!file_exists($dir.$settings_file))
{
?>
<div class='table_div'>
<h3> No structure learning settings file found. </h3>
</div>
<?php
} else {
$table_text = json_encode(file("file://".$dir.$settings_file));
?>
<div class='table_div' id='parameter_div'>
<script type="text/javascript">
d3.text("", function(error, raw){
var data1 = <?php echo $table_text;?>;
var data2 = data1.join("")
var data = data2.split("\n\n");
var dsv = d3.dsvFormat("\t");
var i;
for (i = 0; i < data.length; i++) {
var data_temp = data[i].split("\n");
var caption_text = data_temp.shift();
var data_temp = data_temp.join("\n");
var newDiv = document.createElement('div');
newDiv.id = 'table_div'+i;
newDiv.className = 'd3_table';
var dataCurrent = dsv.parse(data_temp);
var div_id = '#table_div'+i;
var paramDiv = document.getElementById("parameter_div");
paramDiv.appendChild(newDiv);
tabulate_caption(div_id,dataCurrent,caption_text);
}
if (error) throw error;
add_header();
});
</script>
</div>
<div id="table_header">
</div>
<div id="download">
<a class=button2 href="<?php print("reroute.php?".$settings_file);?>">Download structure learning settings file</a><br><br>
</div>
<?php
}
?>
<script type="text/javascript">
function add_header() {
var element = document.getElementById("table_header");
var parentNode = document.getElementById("parameter_div");
parentNode.insertBefore(element,parentNode.firstChild);
var element = document.getElementById("download");
parentNode.appendChild(element);
}
</script>
</body>
|
