-
Notifications
You must be signed in to change notification settings - Fork 0
/
connection.php
executable file
·119 lines (101 loc) · 4.39 KB
/
connection.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
<?php
// JavaScriptからPOSTを受け取る
$data = $_POST['shellgei'];
$num = $_POST['problemNum'];
// 時間管理
$filename_time = '../shellgei_time.txt';
$shellgei_oldtime = file_get_contents($filename_time);
date_default_timezone_set('Asia/Tokyo');
$shellgei_newtime = date('Y-m-d H:i:s');
$time_old = new DateTime($shellgei_oldtime);
$time_new = new DateTime($shellgei_newtime);
$time_diff = $time_old->diff($time_new);
if($time_diff->s < 2) {
$res['shellgei'] = "The server is busy.";
$res['shellgei_id'] = "-1";
$res['shellgei_date'] = $shellgei_newtime;
$res['shellgei_image'] = "";
echo json_encode($res);
exit();
}
file_put_contents($filename_time, $shellgei_newtime, LOCK_EX);
// \rを全て置換
$data = str_replace('\r', '', $data);
$num = str_replace('\r', '', $num);
// 実行したシェル芸のIDを取得
$filename_id = '../shellgei_id.txt';
$shellgei_id_str = file_get_contents($filename_id);
$shellgei_id = (int) $shellgei_id_str;
$shellgei_id = $shellgei_id + 1;
$shellgei_id_str = (string) $shellgei_id;
file_put_contents($filename_id, $shellgei_id_str, LOCK_EX);
// ログをファイルに書き込み
date_default_timezone_set('Asia/Tokyo');
$datetime = date('Y-m-d H:i:s');
$filename_log = '../log_dir/log_2024.txt';
file_put_contents($filename_log, "\n", FILE_APPEND);
file_put_contents($filename_log, "SHELLGEI ID : ".$shellgei_id_str."\n", FILE_APPEND);
file_put_contents($filename_log, "date : ".$datetime."\n", FILE_APPEND);
file_put_contents($filename_log, "num : ".$num."\n", FILE_APPEND);
file_put_contents($filename_log, "cmd : ".str_replace(array("\r\n", "\r", "\n"), ' ', $data)."\n", FILE_APPEND);
// コマンドを実行ファイルに書き込み
$filename_z = '../z.bash';
file_put_contents($filename_z, $data);
// \rをすべて置換
$str = file_get_contents($filename_z);
$str = str_replace("\r", "", $str);
file_put_contents($filename_z, $str);
// dockerのコンテナを起動
shell_exec("sudo docker run -dit --rm --ipc=none --network=none theoldmoon0602/shellgeibot");
// コンテナのIDを取得
$cid = shell_exec("sudo docker ps | awk 'NR==2{print $1}'");
// 入力ファイルをコンテナ内にコピー
$cmd0 = "sudo docker cp ./input/$num.txt $cid:/input.txt";
$cmd0 = str_replace(PHP_EOL, "", $cmd0);
shell_exec("$cmd0");
// 実行するファイルをコンテナ内にコピー
$cmd1 = "sudo docker cp $filename_z $cid:/";
$cmd1 = str_replace(PHP_EOL, "", $cmd1);
shell_exec("$cmd1");
// 画像を作成しておく
$cmd_tmp_image = "sudo docker exec $cid /bin/bash -c 'convert -size 200x200 xc:white media/output.jpg'";
$cmd_tmp_image = str_replace(PHP_EOL, "", $cmd_tmp_image);
shell_exec("$cmd_tmp_image");
// シェル芸を実行して結果を取得
$cmd2 = "timeout 5 python3 ../run_shellgei.py $cid 2>&1";
$cmd2 = str_replace(PHP_EOL, "", $cmd2);
$out = shell_exec("$cmd2");
if(is_null($out)) $out = "NULL";
if(strlen($out) == 0) $out = "NULL";
if($out=="\n") $out = "NULL";
if($out=="\r") $out = "NULL";
$limit = 1000000;
if(strlen($out) > $limit) $out = substr($out, 0, $limit);
// 出力も記録
file_put_contents($filename_log, "output : ".str_replace(array("\r\n", "\r", "\n"), ' ', $out)."\n", FILE_APPEND);
// 画像を取得（Base64で変換）
$cmd_image = "sudo docker exec $cid /bin/bash -c 'base64 -w 0 media/output.jpg'";
$cmd_image = str_replace(PHP_EOL, "", $cmd_image);
$output_image_base64 = shell_exec("$cmd_image");
// 画像も記録
// file_put_contents($filename_log, "output image : ".str_replace(array("\r\n", "\r", "\n"), ' ', $output_image_base64)."\n", FILE_APPEND);
// コンテナを削除
$cmd3 = "sudo docker rm -f $cid";
$cmd3 = str_replace(PHP_EOL, "", $cmd3);
shell_exec("$cmd3");
// 正誤判定
$answer_file_path = "./output/$num.txt";
$answer_file = file_get_contents($answer_file_path);
$cmd_answer_image = "base64 -w 0 ./problem_images/$num.jpg";
$cmd_answer_image = str_replace(PHP_EOL, "", $cmd_answer_image);
$answer_image_base64 = shell_exec("$cmd_answer_image");
$cmd_judge_result = "python3 ../judge.py $out $output_image_base64 $answer_file $answer_image_base64 2>&1";
$cmd_judge_result = str_replace(PHP_EOL, "", $cmd_judge_result);
$judge_result = shell_exec("$cmd_judge_result");
// コマンドの実行結果を送り返す
$res['shellgei'] = $out;
$res['shellgei_id'] = $shellgei_id_str;
$res['shellgei_date'] = $datetime;
$res['shellgei_image'] = $output_image_base64;
$res['shellgei_judge'] = $judge_result;
echo json_encode($res);