index.php 9.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366
  1. <html>
  2. <head>
  3. <title>High-Voltage Patch-Panel Configuration</title>
  4. <style type="text/css">
  5. body { font-family:Arial; }
  6. td { text-align:center; }
  7. a:link { text-decoration:none; }
  8. a:visited { text-decoration:none; }
  9. a:hover { text-decoration:none; }
  10. a:active { text-decoration:none; }
  11. a:focus { text-decoration:none; }
  12. </style>
  13. </head>
  14. <body>
  15. <?php
  16. // offset between patch-panel channel $ch and adei channel $adei: $adei = $ch + $offset
  17. $offset = 2;
  18. // main-spectrometer rings
  19. $rings = array( "w02o", "w02i", "w03o", "w03i", "w04o", "w04i", "w05o", "w05i", "w06o", "w06i", "w07o", "w07i", "w12o", "w12i", "w13o", "w13i", "w14o", "w14i", "w15o", "w15i", "w16o", "w16i", "e02o", "e02i", "e03o", "e03i", "e04o", "e04i", "e05o", "e05i", "e06o", "e06i", "e07o", "e07i", "e12o", "e12i", "e13o", "e13i", "e14o", "e14i", "e15o", "e15i", "e16o", "e16i" );
  20. ?>
  21. <?php
  22. // submit button
  23. if ($_POST["ok"] == "submit")
  24. {
  25. // write TXT patch-panel configuration
  26. $config = $_POST["configurationname"] != "" ? $_POST["configurationname"] : $_POST["configurationload"];
  27. $time = strtotime($_POST["validfrom"]);
  28. if ($time === FALSE) $filename = time() . ".txt"; else $filename = $time . ".txt";
  29. $handle = fopen("data/" . $filename, "w");
  30. if ($handle)
  31. {
  32. $content = "";
  33. for ($id = 0; $id < 44; $id++)
  34. {
  35. if ($_POST[$rings[$id]] == 22) $tempcontent = "IE"; else $tempcontent = floatval($_POST[$rings[$id]]) + $offset;
  36. $content = $content . $tempcontent . "\r\n";
  37. }
  38. fwrite($handle, $content);
  39. fclose($handle);
  40. }
  41. // copy for SDS-STATUS-DISPLAY
  42. copy("data/" . $filename, "data/activeIEconfig.txt");
  43. // update KDB database
  44. sleep(1);
  45. //require '../update_database.php';
  46. if ($time === FALSE)
  47. shell_exec('php ../update_database.php "' . $config . '"');
  48. else
  49. shell_exec('php ../update_database.php "' . $config . '" "' . date('Y-m-d H:i:s', $time) . '"');
  50. // write CONF patch-panel configuration
  51. if ($_POST["configurationname"] != "")
  52. {
  53. $filename = $_POST["configurationname"] . ".conf";
  54. $handle = fopen("data/" . $filename, "w");
  55. if ($handle)
  56. {
  57. $content = "";
  58. for ($id = 0; $id < 44; $id++)
  59. {
  60. $tempcontent = floatval($_POST[$rings[$id]]);
  61. $content = $content . $tempcontent . "\r\n";
  62. }
  63. fwrite($handle, $content);
  64. fclose($handle);
  65. }
  66. }
  67. }
  68. ?>
  69. <?php
  70. // load configuration
  71. $check = array( 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22,
  72. 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22 );
  73. if (!array_key_exists("configurationload", $_POST))
  74. $_POST["configurationload"] = "(active configuration)";
  75. #echo $_POST["configurationload"];
  76. if ($_POST["configurationload"] == "(active configuration)")
  77. {
  78. $handle = fopen("data/activeIEconfig.txt", "r");
  79. if ($handle)
  80. {
  81. $id = 0;
  82. while (($buffer = fgets($handle, 4096)) !== false)
  83. {
  84. $buffer = trim($buffer);
  85. if ($buffer == 'IE')
  86. $check[$id++] = 22;
  87. else
  88. $check[$id++] = intval($buffer) - 2;
  89. }
  90. fclose($handle);
  91. }
  92. }
  93. else if ($_POST["configurationload"] != "(new configuration)")
  94. {
  95. $filename = $_POST["configurationload"] . ".conf";
  96. $handle = fopen("data/" . $filename, "r");
  97. if ($handle)
  98. {
  99. $id = 0;
  100. while (($buffer = fgets($handle, 4096)) !== false)
  101. {
  102. $buffer = trim($buffer);
  103. $check[$id++] = $buffer;
  104. }
  105. fclose($handle);
  106. }
  107. }
  108. ?>
  109. <?php
  110. $adeiChannel[0] = array( "hv__katrin-hv_rep__0__95", "hv__katrin-hv_rep__0__71", "hv__katrin-hv_rep__0__79" );
  111. for ($id = 0; $id < 24; $id++)
  112. {
  113. $adeiChannel[1][$id] = "hv__katrin-hv_rep__1__" . (7 * $id + 3 + 7 * $offset);
  114. $adeiChannel[2][$id] = "hv__katrin-hv_rep__2__" . (7 * $id + 3 + 7 * $offset);
  115. }
  116. $username = getenv('PHP_ADEI_USERNAME');
  117. $password = getenv('PHP_ADEI_PASSWORD');
  118. $context = stream_context_create(array(
  119. 'http' => array(
  120. 'header' => "Authorization: Basic " . base64_encode("$username:$password")
  121. )
  122. ));
  123. for ($id = 0; $id < sizeof($adeiChannel); $id++)
  124. {
  125. $adeiChannels = "";
  126. for ($id2 = 0; $id2 < sizeof($adeiChannel[$id]); $id2++)
  127. {
  128. $adeiChannels = $adeiChannels . $adeiChannel[$id][$id2] . ",";
  129. }
  130. $adeiChannels = substr($adeiChannels, 0, strlen($adeiChannels) - 1);
  131. $fileip = file_get_contents("https://adei-katrin.kaas.kit.edu/adei/services/getdata.php?db_server=virtual&db_name=srctree&db_group=-3&control_group=-3&virtual=srctree&srctree=" . $adeiChannels . "&window=60&format=csv", false, $context);
  132. //echo $fileip . "<br>";
  133. for ($id2 = sizeof($adeiChannel[$id]) - 1 ; $id2 > -1; $id2--)
  134. {
  135. $pos = strrpos($fileip, ",");
  136. $adeiValue[$id][$id2] = floatval(substr($fileip, $pos + 2));
  137. $fileip = substr($fileip, 0, $pos);
  138. //echo $id . "," . $id2 . "," . $adeiValue[$id][$id2] . "<br>";
  139. }
  140. }
  141. ?>
  142. <form method="post" action="index.php" name="myform">
  143. <font size="6"><b>High-Voltage Patch-Panel Configuration</b></font>
  144. <br><br>
  145. <table border="0" cellpadding="5" cellspacing="0" bgcolor="#C8C8C8">
  146. <tr>
  147. <td><b>configuration</b></td>
  148. <td>
  149. <select name="configurationload" size="1" onchange="myform.submit();">
  150. <option>(active configuration)</option>
  151. <?php
  152. if ($_POST["configurationload"] == "(new configuration)") echo '<option selected>'; else echo '<option>';
  153. echo '(new configuration)</option>';
  154. foreach (glob("data/*.conf") as $filename)
  155. {
  156. $buffer = substr($filename, 5, strlen($filename) - 10);
  157. if ($_POST["configurationload"] == $buffer) echo '<option selected>'; else echo '<option>';
  158. echo $buffer . '</option>';
  159. }
  160. ?>
  161. </select>
  162. </td>
  163. </tr>
  164. <tr>
  165. <td>name</td>
  166. <td>
  167. <input type="text" name="configurationname" size="35">
  168. </td>
  169. </tr>
  170. </table>
  171. <br>
  172. <table border="0" cellpadding="0" cellspacing="0">
  173. <tr bgcolor="#000000" height="1px"><td colspan="47"></td></tr>
  174. <tr>
  175. <td bgcolor="#C8C8C8" colspan="22"><b>W E S T</b></td>
  176. <td colspan="3"><b>PATCH PANEL</b></td>
  177. <td bgcolor="#C8C8C8" colspan="22"><b>E A S T</b></td>
  178. </tr>
  179. <tr>
  180. <?php
  181. for ($id=2; $id<7; $id++) { if ($id % 2 == 1) $color = "#FFFFFF"; else $color = "#C8C8C8"; echo '<td bgcolor="' . $color . '" colspan="2">0' . $id . '</td>'; }
  182. echo '<td colspan="2">07-11</td>';
  183. for ($id=12; $id<17; $id++) { if ($id % 2 == 1) $color = "#FFFFFF"; else $color = "#C8C8C8"; echo '<td bgcolor="' . $color . '" colspan="2">' . $id . '</td>'; }
  184. echo '<td>&nbsp;ADEI&nbsp;</td>';
  185. echo '<td>&nbsp;CH&nbsp;</td>';
  186. echo '<td>&nbsp;ADEI&nbsp;</td>';
  187. for ($id=2; $id<7; $id++) { if ($id % 2 == 1) $color = "#FFFFFF"; else $color = "#C8C8C8"; echo '<td bgcolor="' . $color . '" colspan="2">0' . $id . '</td>'; }
  188. echo '<td colspan="2">07-11</td>';
  189. for ($id=12; $id<17; $id++) { if ($id % 2 == 1) $color = "#FFFFFF"; else $color = "#C8C8C8"; echo '<td bgcolor="' . $color . '" colspan="2">' . $id . '</td>'; }
  190. ?>
  191. </tr>
  192. <tr>
  193. <?php
  194. for ($id=0; $id<11; $id++) { if ($id % 2 == 1) $color = "#FFFFFF"; else $color = "#C8C8C8"; echo '<td bgcolor="' . $color . '">o</td><td bgcolor="' . $color . '">i</td>'; }
  195. echo '<td></td>';
  196. echo '<td></td>';
  197. echo '<td></td>';
  198. for ($id=0; $id<11; $id++) { if ($id % 2 == 1) $color = "#FFFFFF"; else $color = "#C8C8C8"; echo '<td bgcolor="' . $color . '">o</td><td bgcolor="' . $color . '">i</td>'; }
  199. ?>
  200. </tr>
  201. <?php
  202. for ($ch=0; $ch<23; $ch++)
  203. {
  204. if ($ch % 5 == 0) echo '<tr bgcolor="#000000" height="1px"><td colspan="47"></td></tr>';
  205. $text = str_pad($ch, 2, 0, STR_PAD_LEFT);
  206. echo '<tr>';
  207. for ($id=0; $id<22; $id++)
  208. {
  209. if ($id % 4 == 2 || $id % 4 == 3) $color = "#FFFFFF"; else $color = "#C8C8C8";
  210. $checked = "";
  211. if ($check[$id] == $ch) $checked = 'checked="checked"';
  212. echo '<td bgcolor="' . $color . '"><input type="radio" name="' . $rings[$id] . '" value="' . $ch . '" ' . $checked . '></td>';
  213. }
  214. $value = $adeiValue[1][$ch];
  215. if ($ch == 22) $value = $adeiValue[0][0] + $adeiValue[0][1];
  216. echo '<td>' . sprintf('%.0F', $value) . '</td>';
  217. echo '<td><b>';
  218. if ($ch == 22) echo 'IE';
  219. else echo $text;
  220. echo '</b></td>';
  221. $value = $adeiValue[2][$ch];
  222. if ($ch == 22) $value = $adeiValue[0][0] + $adeiValue[0][2];
  223. echo '<td>' . sprintf('%.0F', $value) . '</td>';
  224. for ($id=22; $id<44; $id++)
  225. {
  226. if ($id % 4 == 0 || $id % 4 == 1) $color = "#FFFFFF"; else $color = "#C8C8C8";
  227. $checked = "";
  228. if ($check[$id] == $ch) $checked = 'checked="checked"';
  229. echo '<td bgcolor="' . $color . '"><input type="radio" name="' . $rings[$id] . '" value="' . $ch . '" ' . $checked . '></td>';
  230. }
  231. echo '</tr>';
  232. }
  233. ?>
  234. <tr bgcolor="#000000" height="1px"><td colspan="47"></td></tr>
  235. </table>
  236. <br>
  237. <table border="0" cellpadding="5" cellspacing="0" bgcolor="#C8C8C8">
  238. <tr>
  239. <td><b>valid from</b></td>
  240. <td>
  241. <input type="text" name="validfrom" size="19" maxlength="19"> (YYYY-MM-DD HH:MM:SS)
  242. </td>
  243. </tr>
  244. </table>
  245. <br>
  246. <table border="0" cellpadding="5" cellspacing="0" bgcolor="#C8C8C8">
  247. <tr>
  248. <td><b>elog entry</b></td>
  249. <td>
  250. <input type="checkbox" name="elog" value="yes"> write & submit
  251. </td>
  252. </tr>
  253. <tr>
  254. <td>author</td>
  255. <td>
  256. <select name="author" size="1">
  257. <option>---</option>
  258. <option>C. Rodenbeck</option>
  259. <option>T. Thuemmler</option>
  260. <option>S. Wuestling</option>
  261. </select>
  262. </td>
  263. </tr>
  264. <tr>
  265. <td>comments</td>
  266. <td>
  267. <textarea name="comments" cols="50" rows="5"></textarea>
  268. </td>
  269. </tr>
  270. </table>
  271. <br>
  272. <input type="submit" name="ok" value="submit">
  273. <input type="reset" value="reset">
  274. </form>
  275. </body>
  276. </html>