Gecko [ tsuru-no-tsurugi.tokyo ]

Name	Size	Permission	Date
admin.php	3.59 KB	-rwxr-xr-x	2024-08-28 00:23
admin.php.save	3.93 KB	-rwxr-xr-x	2024-08-28 00:23
admin2.php	3.59 KB	-rwxr-xr-x	2024-08-28 00:23
alldata.php	3.71 KB	-rwxr-xr-x	2024-08-27 23:20
test.html	148 B	-rwxr-xr-x	2024-08-27 23:20
test.pdf	7.31 KB	-rwxr-xr-x	2024-08-27 23:20
test.php	572 B	-rwxr-xr-x	2024-08-27 23:20
test2.php	364 B	-rwxr-xr-x	2024-08-27 23:20
test3.php	2.41 KB	-rwxr-xr-x	2024-08-27 23:20

Rename

<?php
require_once "/var/www/html/kougakubu/htdocs/auth/database.php";
$pdo = getPdo();
/*+------------------+-------------+------+-----+---------------------+-------+
| Field            | Type        | Null | Key | Default             | Extra |
+------------------+-------------+------+-----+---------------------+-------+
| submittion_id    | int(11)     | NO   |     | NULL                |       |
| problem          | varchar(10) | NO   |     | NULL                |       |
| language         | varchar(10) | NO   |     | NULL                |       |
| user_name        | varchar(80) | NO   |     | NULL                |       |
| user_id          | varchar(80) | NO   |     | NULL                |       |
| judge_status     | varchar(10) | YES  |     | WJ                  |       |
| submittion_time  | timestamp   | NO   |     | current_timestamp() |       |
| jugging_progress | varchar(10) | YES  |     | NULL                |       |
| memory           | varchar(20) | YES  |     | NULL                |       |
| process_time     | varchar(20) | YES  |     | NULL                |       |
+------------------+-------------+------+-----+---------------------+-------+*/

$sql="SELECT submittion_id,problem,language,user_name,judge_status FROM akisai_backup.submit;"; // require all
$stmt = $pdo -> query($sql);
$result = $stmt -> fetchAll(PDO::FETCH_BOTH);//type: array
$siz = count($result);

$problem=$_GET['prob'];

$path="/var/www/submit2/"; // adding submittion id
$comment="";$source_len="<table border='1px'><tr><th>ID</th><th>Name</th><th>Prob</th><th>Lang</th><th>Len</th><th>Judge</th></tr>";
for($i=0;$i<$siz;$i++){
    $data='<hr><table border="1px"><tr><th>提出ID</th><th>問題</th><th>言語</th><th>ユーザー名</th><th>判定</th></tr>
    <tr><td>%submittion_id%</td><td>%problem%</td><td>%language%</td><td>%user_name%</td><td>%judge_status%</td></tr></table><br>%source_info%<pre>%source%</pre>';
    
    $data=str_replace('%submittion_id%',$result[$i]['submittion_id'],$data);
    $data=str_replace('%problem%',$result[$i]['problem'],$data);
    $data=str_replace('%language%',$result[$i]['language'],$data);
    $data=str_replace('%user_name%',$result[$i]['user_name'],$data);
    $data=str_replace('%judge_status%',$result[$i]['judge_status'],$data);

$source = file_get_contents($path.$result[$i]['submittion_id']."/a.".($result[$i]['language']=="cpp"?"cpp":"py"));

$source_info_byte = strlen($source);
    $source_info_len = mb_strlen($source);
    $source_info_semicron = substr_count($source,";"); // count number of semicron

if($problem==$result[$i]['problem']){
        $source_len_tmp='<tr><td>%submittion_id%</td><td>%user_name%</td><td>%problem%</td><td>%language%</td><td>%source_len%</td><td>%judge%</td></tr>';
        $source_len_tmp=str_replace('%submittion_id%',$result[$i]['submittion_id'],$source_len_tmp);
        $source_len_tmp=str_replace('%user_name%',$result[$i]['user_name'],$source_len_tmp);
        $source_len_tmp=str_replace('%problem%',$result[$i]['problem'],$source_len_tmp);
        $source_len_tmp=str_replace('%language%',$result[$i]['language'],$source_len_tmp);
        $source_len_tmp=str_replace('%judge%',$result[$i]['judge_status'],$source_len_tmp);
        $source_len_tmp=str_replace('%source_len%',$source_info_byte,$source_len_tmp);
        $source_len.=$source_len_tmp;
    }

$source = htmlspecialchars($source); // encode to html special chars

$source_info = "<a>バイト数: ". $source_info_byte . "bytes 単純長: ". $source_info_len . "文字 セミコロンの使用回数: " . $source_info_semicron;

$data=str_replace('%source_info%',$source_info,$data);
    $data=str_replace('%source%',$source,$data);

$comment.=$data;
}
echo $source_len."</table>";
echo $comment;
?>