score/show_dump.php

   1 <?php
   2 //ini_set('display_errors', 'On');
   3
   4 ini_set('log_errors', 'On');
   5 ini_set('error_log', 'errors/'.pathinfo(__FILE__, PATHINFO_FILENAME).'.log');
   6
   7 require_once "dump_file.inc";
   8
   9 $score_id = filter_input(INPUT_GET, 'score_id', FILTER_VALIDATE_INT);
  10 if ($score_id === false || $score_id === null) {
  11     http_response_code(404);
  12 } else {
  13     $dump_file = new DumpFile($score_id);
  14     $dump_file->show('dumps', 'txt', 'text/plain; charset=UTF-8');
  15 }