From 7b7f01dca1c5817f579f33ff9f5d63b4f0a5da86 Mon Sep 17 00:00:00 2001 From: Baoshuo Date: Tue, 17 Jan 2023 15:40:32 +0800 Subject: [PATCH] fix(problem/manage/data): data_dir --- web/app/controllers/problem_data_manage.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/app/controllers/problem_data_manage.php b/web/app/controllers/problem_data_manage.php index 65deeb9..75bd106 100644 --- a/web/app/controllers/problem_data_manage.php +++ b/web/app/controllers/problem_data_manage.php @@ -13,7 +13,7 @@ UOJProblem::cur()->userCanManage(Auth::user()) || UOJResponse::page403(); $problem = UOJProblem::info(); $problem_extra_config = UOJProblem::cur()->getExtraConfig(); -$data_dir = "/var/uoj_data/${problem['id']}"; +$data_dir = "/var/uoj_data/{$problem['id']}"; function echoFileNotFound($file_name) { echo '
', htmlspecialchars($file_name), '
';