baoshuo/S2OJ
baoshuo/S2OJ
1
1
Fork 0
mirror of https://github.com/renbaoshuo/S2OJ.git synced 2024-11-22 17:28:41 +00:00
Code Issues Actions Packages Releases Activity

fix(problem/remote): gym problem title

Browse Source
This commit is contained in:
Baoshuo Ren 2023-01-20 18:01:31 +08:00
parent 66acf9dba5
commit 155f928615
Signed by: baoshuo
GPG Key ID: 00CB9680AB29F51A
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
web/app/models/UOJRemoteProblem.php
View File

@ -39,9 +39,10 @@ class UOJRemoteProblem {
} }
$statement_dom = $dom->querySelector('.problem-statement'); $statement_dom = $dom->querySelector('.problem-statement');
$title_prefix = str_starts_with($id, 'GYM') ? '' : 'CF'; $title_prefix = str_starts_with($id, 'GYM') ? 'Gym' : 'CF';
$title = explode('. ', trim($statement_dom->querySelector('.title')->innerHTML))[1]; $title = explode('. ', trim($statement_dom->querySelector('.title')->innerHTML))[1];
$title = "【{$title_prefix}{$id}】{$title}"; $title_id = str_starts_with($id, 'GYM') ? substr($id, 3) : $id;
$title = "【{$title_prefix}{$title_id}】{$title}";
$time_limit = intval(substr($statement_dom->querySelector('.time-limit')->innerHTML, 53)); $time_limit = intval(substr($statement_dom->querySelector('.time-limit')->innerHTML, 53));
$memory_limit = intval(substr($statement_dom->querySelector('.memory-limit')->innerHTML, 55)); $memory_limit = intval(substr($statement_dom->querySelector('.memory-limit')->innerHTML, 55));
$difficulty = -1; $difficulty = -1;
@ -141,8 +142,9 @@ class UOJRemoteProblem {
if (str_starts_with($res['content-type'], 'text/html')) { if (str_starts_with($res['content-type'], 'text/html')) {
return static::getCodeforcesProblemBasicInfoFromHtml($id, $res['response']); return static::getCodeforcesProblemBasicInfoFromHtml($id, $res['response']);
} else if (str_starts_with($res['content-type'], 'application/pdf')) { } else if (str_starts_with($res['content-type'], 'application/pdf')) {
$title_prefix = str_starts_with($id, 'GYM') ? '' : 'CF'; $title_prefix = str_starts_with($id, 'GYM') ? 'Gym' : 'CF';
$title = "【{$title_prefix}{$id}】{$title_prefix}{$id}"; $title_id = str_starts_with($id, 'GYM') ? substr($id, 3) : $id;
$title = "【{$title_prefix}{$title_id}】{$title_prefix}{$title_id}";
return [ return [
'type' => 'pdf', 'type' => 'pdf',