MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit d07584df authored by Florian Schanda's avatar Florian Schanda Committed by Johannes Kanig
Browse files

P422-010 proof - why3server misses a terminating proof process

We need to set the hard limit for timeout and memory as well, instead of
just setting the soft limit.
parent 00948a93
......@@ -290,6 +290,7 @@ pid_t create_process(char* cmd,
/* set the CPU time limit */
getrlimit(RLIMIT_CPU,&res);
res.rlim_cur = timelimit;
res.rlim_max = timelimit;
setrlimit(RLIMIT_CPU,&res);
}
......@@ -297,6 +298,7 @@ pid_t create_process(char* cmd,
/* set the CPU memory limit */
getrlimit(RLIMIT_AS,&res);
res.rlim_cur = memlimit * 1024 * 1024;
res.rlim_max = memlimit * 1024 * 1024;
setrlimit(RLIMIT_AS,&res);
}
......@@ -304,6 +306,7 @@ pid_t create_process(char* cmd,
/* do not generate core dumps */
getrlimit(RLIMIT_CORE,&res);
res.rlim_cur = 0;
res.rlim_max = 0;
setrlimit(RLIMIT_CORE,&res);
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment