diff --git a/std-script/grade b/std-script/grade --- a/std-script/grade +++ b/std-script/grade @@ -32,7 +32,7 @@ end def extract_time(t) - puts "TIME: #{t}" + #puts "TIME: #{t}" if (result=/^(.*)r(.*)u(.*)s(.*)kbytes/.match(t)) {:real => result[1], :user => result[2], :sys => result[3], :mem => result[4]} else