require_once "dump_file.inc";
-$dump_file = new DumpFile($_GET['score_id']);
-$dump_file->show('dumps', 'txt', 'text/plain; charset=UTF-8');
+$score_id = filter_input(INPUT_GET, 'score_id', FILTER_VALIDATE_INT);
+if ($score_id === FALSE || $score_id === NULL) {
+ http_response_code(404);
+} else {
+ $dump_file = new DumpFile($score_id);
+ $dump_file->show('dumps', 'txt', 'text/plain; charset=UTF-8');
+}
require_once "dump_file.inc";
-$dump_file = new DumpFile($_GET['score_id']);
-$dump_file->show('screens', 'html', 'text/html; charset=UTF-8');
+$score_id = filter_input(INPUT_GET, 'score_id', FILTER_VALIDATE_INT);
+if ($score_id === FALSE || $score_id === NULL) {
+ http_response_code(404);
+} else {
+ $dump_file = new DumpFile($score_id);
+ $dump_file->show('screens', 'html', 'text/html; charset=UTF-8');
+}