Add a wall time limit to eval-server

Author: veluca93

src/tools/eval_server.rs

@@ -300,6 +300,8 @@ async fn evaluate(
         if let Some(comp_group) = dag.data.execution_groups.get_mut(&cuuid) {
             for exec in &mut comp_group.executions {
                 exec.limits.cpu_time(state.opt.compilation_time_limit);
+                exec.limits
+                    .wall_time(state.opt.compilation_time_limit * 2.0);
                 exec.limits
                     .memory(state.opt.compilation_memory_limit * 1024);
             }
@@ -332,6 +334,8 @@ async fn evaluate(
 
     exec.limits
         .cpu_time(payload.time_limit.unwrap_or(state.opt.max_time_limit));
+    exec.limits
+        .wall_time(payload.time_limit.unwrap_or(state.opt.max_time_limit) * 2.0);
     exec.limits
         .memory(payload.memory_limit.unwrap_or(state.opt.max_memory_limit) * 1024);