From 91d7d45aff13d1938f0d47cba55d9066a9fcb35b Mon Sep 17 00:00:00 2001 From: Filip Gralinski Date: Thu, 21 Jan 2021 13:52:04 +0100 Subject: [PATCH] Fix --- count-points.pl | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/count-points.pl b/count-points.pl index f72b084..2d4c899 100755 --- a/count-points.pl +++ b/count-points.pl @@ -110,6 +110,12 @@ sub process_report { my ($points, $deadline, $total, $remainder) = parse_description($task_id); + if (is_estudent($student_id)) { + if ($task_id =~ /F..$/) { + $deadline = '2021-01-25 23:59:59'; + } + } + print $task_id, " ", ($success ? "PASSED" : "FAILED"); if (!check_deadline($task_id, $deadline)) { @@ -245,6 +251,22 @@ sub is_estudent { my $suffix = substr($id, 1); my %estudents = map { $_ => 1 } split/\n/,<<'END_OF_NUMBERS'; +500276 +44517 +500259 +42720 +44519 +500271 +42611 +39546 +42612 +44416 +25077 +16136 +32754 +44522 +44523 +42614 END_OF_NUMBERS if ($estudents{$suffix}) {