From 843c909586b022565c885b934f6df18b8d7c8948 Mon Sep 17 00:00:00 2001 From: Marius Gavrilescu Date: Mon, 16 Mar 2015 18:38:12 +0200 Subject: [PATCH] Do not add time limit override unless actually overriding something --- gruntmaster-problem | 1 + 1 file changed, 1 insertion(+) diff --git a/gruntmaster-problem b/gruntmaster-problem index e74449b..0f45fe8 100755 --- a/gruntmaster-problem +++ b/gruntmaster-problem @@ -181,6 +181,7 @@ sub cmd_check { for (keys %pass) { my $time = $pass{$_}; $time = sprintf '%.1f', $time * 3/2 + 0.1; + next if $time eq $db->problem($id)->timeout; $db->limits->create({problem => $id, format => $_, timeout => $time}); say "Set time limit for $_ to $time"; } -- 2.39.2