datum.php 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  1. <?php
  2. requirePHPLib('form');
  3. if (!isSuperUser($myUser))
  4. become403Page();
  5. if (!validateUInt($_GET['id']) || !($datum = queryDatum($_GET['id'])))
  6. become403Page();
  7. $submission = querySubmission($hack['submission_id']);
  8. $problem = queryProblemBrief($submission['problem_id']);
  9. ?>
  10. <?php
  11. $REQUIRE_LIB['hljs'] = "";
  12. ?>
  13. <?php echoUOJPageHeader('请求详情 #' . $datum['id']) ?>
  14. <?php
  15. echoDatumListOnlyOne($datum);
  16. echo '<div class="card border-info mb-3">';
  17. echo '<div class="card-header bg-info">';
  18. echo '<h4 class="card-title">流</h4>';
  19. echo '</div>';
  20. echo '<div class="card-body"><pre><code class="sh_python hljs language-python">';
  21. echo queryDatumStream($datum['id'])['stream'];
  22. echo '</code></pre></div>';
  23. echo '</div>';
  24. echo '<div class="card border-info mb-3">';
  25. echo '<div class="card-header bg-info">';
  26. echo '<h4 class="card-title">gen.py</h4>';
  27. echo '</div>';
  28. echo '<div class="card-body"><pre><code class="sh_python hljs language-python">';
  29. echo $datum['generator'];
  30. echo '</code></pre></div>';
  31. echo '</div>';
  32. echo '<div class="card border-info mb-3">';
  33. echo '<div class="card-header bg-info">';
  34. echo '<h4 class="card-title">std</h4>';
  35. echo '</div>';
  36. echo '<div class="card-body"><pre><code class="sh_cpp hljs language-cpp">';
  37. echo $datum['std'];
  38. echo '</code></pre></div>';
  39. echo '</div>';
  40. ?>
  41. <?php echoUOJPageFooter() ?>