Advertisement
Guest User

Untitled

a guest
Mar 30th, 2017
75
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.42 KB | None | 0 0
  1. <!DOCTYPE html>
  2. <html>
  3.  
  4. <head>
  5.  
  6. <meta charset="utf-8">
  7. <title>Rooster</title>
  8.  
  9. <style>
  10. div
  11. {
  12. height: 50em;
  13. }
  14.  
  15. iframe
  16. {
  17. width: 100%;
  18. height: 100%;
  19. border: none;
  20. }
  21. </style>
  22.  
  23. <link rel="stylesheet" type="text/css" href="/navbar.css">
  24.  
  25. <script>
  26. function pad(n, width) {
  27. n = n + '';
  28. return n.length >= width ? n : new Array(width - n.length + 1).join('0') + n;
  29. }
  30.  
  31. function setRooster() {
  32. var rooster = document.getElementById('rooster');
  33. if(rooster.src != "") {
  34. return;
  35. }
  36. var src = 'http://rooster.horizoncollege.nl/rstr/PUR/Roosters/';
  37.  
  38. <?php
  39. $lines = file('http://rooster.horizoncollege.nl/rstr/PUR/Roosters/frames/navbar.htm');
  40.  
  41. // get week number
  42. for($i = 0; $i < count($lines); ++$i) {
  43. if(strpos($lines[$i], '<select name="week" class="selectbox" style=\'width:114\' onChange="doDisplayTimetable(NavBar, topDir);">') !== false) {
  44.  
  45. $i += 1;
  46.  
  47. if($i >= count($lines)) {
  48. echo 'var day = \'00\'; /* no next line (' . $i . ') */' . "\n";
  49. break;
  50. } else {
  51. // get first two numbers in the select box on the first line which is probably the correct week number.
  52. preg_match('/"\d\d"/', $lines[$i], $matches);
  53. if(isset($matches[0])) {
  54. echo ' var week = ' . $matches[0] . ';' . "\n";
  55. } else { // no match?! :(
  56. echo 'var week = \'00\'; /* "\d\d" not found */' . "\n";
  57. }
  58. break;
  59. }
  60. }
  61.  
  62. if($i + 1 >= count($lines)) {
  63. echo 'var week = \'00\'; /* search line not found */' . "\n";
  64. }
  65. }
  66.  
  67. // get classes
  68. foreach($lines as $line_number => $line) {
  69. // find var classes creation for use in the external js code
  70. if(strpos($line, 'var classes = ["') !== false) {
  71. echo ' ' . $line;
  72. break;
  73. }
  74. }
  75. ?>
  76.  
  77. src += week + '/c/c';
  78.  
  79. // get class number
  80. var class_number = classes.indexOf('16PO4EAO1A') + 1;
  81. src += pad(class_number, 5) + '.htm';
  82.  
  83. rooster.src = src;
  84. }
  85. </script>
  86.  
  87. </head>
  88.  
  89. <body>
  90.  
  91. <ul class="navigation_bar">
  92. <li><a href="http://dextercd.nl">Home</a></li>
  93. <li><a href="/rooster.php">Rooster</a></li>
  94. <li>
  95. <a href="#">Pages</a>
  96. <div>
  97. <a href="/linker_scripts.html">Linker scripts</a>
  98. <a href="/includes.html">Header files</a>
  99. <a href="/wasm.html">Wasm</a>
  100. </div>
  101. </li>
  102. </ul>
  103.  
  104. <div>
  105. <iframe id="rooster" onload="setRooster()">
  106. </div>
  107.  
  108. </body>
  109.  
  110. </html>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement