about summary refs log tree commit diff
path: root/sourcecodes/review_settings.php
blob: 0a2d93d8a7f0b1bf3506b5cf8f5bcd2272d0a692 (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
<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/";

$settings_file = $dir.$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>
  <div class='table_div' id='parameter_div'>
  <script type="text/javascript">
  d3.text("<?php print($settings_file);?>", function(error, raw){
      var data = raw.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">
&nbsp;&nbsp;&nbsp;&nbsp;<a class=button2 href="<?php print($settings_file);?>">Download structure learning settings file</a><br><br>
</div>
  <script type="text/javascript">
  function add_header() {
  var element = document.getElementById("table_header");
  var parentNode = document.getElementById("parameter_div");
  console.log(parentNode);
  parentNode.insertBefore(element,parentNode.firstChild);
  var element = document.getElementById("download");
  parentNode.appendChild(element);
}
</script>

</body>