list.php 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990
  1. <html>
  2. <head>
  3. <title>KATRIN Spectrometer and Detector Section Status Value List</title>
  4. <style type="text/css">
  5. body { font-family:Calibri,Arial; }
  6. a:link { text-decoration:none; }
  7. a:visited { text-decoration:none; }
  8. a:hover { text-decoration:none; }
  9. a:active { text-decoration:none; }
  10. a:focus { text-decoration:none; }
  11. </style>
  12. <head>
  13. </head>
  14. <?php
  15. $onsite = false;
  16. $slowrefresh = false;
  17. ?>
  18. </head>
  19. <body>
  20. <?php
  21. // include helper functions
  22. include "SDS_status_functions.php";
  23. // include channel list
  24. include "SDS_status_channels.php";
  25. // read cached ADEI data
  26. $valuesincluded = 0;
  27. $loop = 0;
  28. $includeflag = 0;
  29. do {
  30. $includeflag = include 'ADEIvalues.php';
  31. $loop++;
  32. if ($valuesincluded == 0) usleep(100000);
  33. }
  34. while (($loop < 21) && ($includeflag+$valuesincluded < 2));
  35. if ($valuesincluded == 0) $extraction_time = "Request timed out!".PHP_EOL;
  36. //echo $loop." ".$includeflag." ".$valuesincluded.PHP_EOL;
  37. // ########## TIME STAMP ##########
  38. echo '<font size="6" color="#000000"><b>KATRIN Spectrometer and Detector Section Value List</b></font><br>';
  39. echo '<font size="4" color="#000000">Page refreshed:&emsp;' . date(DATE_RFC822) . '</font><br>';
  40. echo '<font size="4" color="#000000">Data extracted:&ensp;&thinsp;&thinsp;&thinsp;' . $extraction_time . ' </font><br>';
  41. echo '<font size="4" color="#FFFFFF">&emsp; &emsp; &emsp; Client IP:' . $ip . ' </font><br>';
  42. //('. date("s", time() - $extraction_timestamp).'&thinsp;s old data)<br>';
  43. if ($errorcount >0) echo "<br> <br> <br> <br>".$errormessage;
  44. ?>
  45. <a href="mailto:thuemmler@kit.edu">
  46. <div title="send email to Thomas Thuemmler" style="position:absolute; top:-50px; left:8px">
  47. <img src="pics/newEmail.png" width="23" height="23">
  48. </div>
  49. </a>
  50. <?php
  51. // include values
  52. if ($valuesincluded == 0) echo "Failed to load values! Stopped!".PHP_EOL;
  53. else {
  54. echo "All values successfully loaded!<br>".PHP_EOL;
  55. for ($id = 0; $id < sizeof($adeiChannel); $id++)
  56. {
  57. echo "<br>".PHP_EOL;
  58. for ($ch = 0; $ch < sizeof($adeiChannel[$id]); $ch++)
  59. {
  60. echo $id." ".$ch." ".$adeiChannel[$id][$ch]." ".$adeiValue[$id][$ch]."<br>".PHP_EOL;
  61. }
  62. }
  63. }
  64. ?>
  65. </body>
  66. </html>