projects
/
gruntmaster-data.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5401c10
)
Do not add time limit override unless actually overriding something
author
Marius Gavrilescu
<marius@ieval.ro>
Mon, 16 Mar 2015 16:38:12 +0000
(18:38 +0200)
committer
Marius Gavrilescu
<marius@ieval.ro>
Mon, 16 Mar 2015 16:38:12 +0000
(18:38 +0200)
gruntmaster-problem
patch
|
blob
|
blame
|
history
diff --git
a/gruntmaster-problem
b/gruntmaster-problem
index e74449b61731fdd35b7bec51707e9d121f5b59ee..0f45fe80dcf4a13015b95532453366ab2c91d859 100755
(executable)
--- 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";
}
This page took
0.01143 seconds
and
4
git commands to generate.