list.php 2.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586
  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. {
  31. $includeflag = include 'ADEIvalues.php';
  32. $loop++;
  33. if ($valuesincluded == 0) usleep(100000);
  34. }
  35. while (($loop < 21) && ($includeflag + $valuesincluded < 2));
  36. if ($valuesincluded == 0) $extraction_time = "Request timed out!" . PHP_EOL;
  37. //echo $loop." ".$includeflag." ".$valuesincluded.PHP_EOL;
  38. // ########## TIME STAMP ##########
  39. echo '<font size="6" color="#000000"><b>KATRIN Spectrometer and Detector Section Value List</b></font><br>';
  40. echo '<font size="4" color="#000000">Page refreshed:&emsp;' . date(DATE_RFC822) . '</font><br>';
  41. echo '<font size="4" color="#000000">Data extracted:&ensp;&thinsp;&thinsp;&thinsp;' . $extraction_time . ' </font><br>';
  42. echo '<font size="4" color="#FFFFFF">&emsp; &emsp; &emsp; Client IP:' . $ip . ' </font><br>';
  43. //('. date("s", time() - $extraction_timestamp).'&thinsp;s old data)<br>';
  44. if ($errorcount > 0) echo "<br> <br> <br> <br>" . $errormessage;
  45. ?>
  46. <a href="mailto:thuemmler@kit.edu">
  47. <div title="send email to Thomas Thuemmler" style="position:absolute; top:-50px; left:8px">
  48. <img src="pics/newEmail.png" width="23" height="23">
  49. </div>
  50. </a>
  51. <?php
  52. // include values
  53. if ($valuesincluded == 0) echo "Failed to load values! Stopped!" . PHP_EOL;
  54. else
  55. {
  56. echo "All values successfully loaded!<br>" . PHP_EOL;
  57. for ($id = 0;$id < sizeof($adeiChannel);$id++)
  58. {
  59. echo "<br>" . PHP_EOL;
  60. for ($ch = 0;$ch < sizeof($adeiChannel[$id]);$ch++)
  61. {
  62. echo $id . " " . $ch . " " . $adeiChannel[$id][$ch] . " " . $adeiValue[$id][$ch] . "<br>" . PHP_EOL;
  63. }
  64. }
  65. }
  66. ?>
  67. </body>
  68. </html>