From 584211347623f646aa99462cba4ad911a97ee4ab Mon Sep 17 00:00:00 2001 From: jorg-vr Date: Tue, 18 Apr 2023 13:38:10 +0200 Subject: [PATCH 1/2] Merge pull request #4580 from dodona-edu/misc/docker-timings Add additional timings to submission runner --- app/runners/submission_runner.rb | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/app/runners/submission_runner.rb b/app/runners/submission_runner.rb index d28e5c0950..d02af52d31 100644 --- a/app/runners/submission_runner.rb +++ b/app/runners/submission_runner.rb @@ -64,6 +64,7 @@ def copy_or_create(from, to) end def prepare + @start = Time.zone.now # set the submission's status @submission.status = 'running' @submission.save @@ -82,6 +83,10 @@ def prepare copy_or_create(@exercise.full_path.join('workdir'), @mountsrc.join('workdir')) copy_or_create(@exercise.full_path.join('evaluation'), @mountsrc.join(@hidden_path, 'resources')) copy_or_create(@judge.full_path, @mountsrc.join(@hidden_path, 'judge')) + + end_preparing = Time.zone.now + @time_messages = [] + @time_messages << build_message(format('Prepare: %