From 252b2c0cdc69094154936e4509bb04fe150a59e8 Mon Sep 17 00:00:00 2001 From: Baoshuo Date: Tue, 7 Feb 2023 06:56:31 +0800 Subject: [PATCH] fix: 6ff83e810ba1092be17f11f6d365e599911684fe --- web/app/libs/uoj-data-lib.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/app/libs/uoj-data-lib.php b/web/app/libs/uoj-data-lib.php index 38bca6e..ec0cee3 100644 --- a/web/app/libs/uoj-data-lib.php +++ b/web/app/libs/uoj-data-lib.php @@ -488,7 +488,7 @@ class SyncProblemDataHandler { "extra_config" => DB::json_set( 'extra_config', '$.time_limit', - $this->final_problem_conf['time_limit'] ? (int)$this->final_problem_conf['time_limit'] : null, + $this->final_problem_conf['time_limit'] ? (float)$this->final_problem_conf['time_limit'] : null, '$.memory_limit', $this->final_problem_conf['memory_limit'] ? (int)$this->final_problem_conf['memory_limit'] : null, ),