woj/woj-sandbox
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

chore: adjust killer timeout

Browse Source
This commit is contained in:
Paul Pan 2024-01-27 16:25:37 +08:00
parent 0118ee2062
commit 57669b670c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
launcher.c
View File

@ -124,9 +124,9 @@ int main(int argc, char *argv[]) {
exit(ERR_FORK);
} else if (killer == 0) { // Killer
long limit = (strtol(config[CFG_TIME_LIMIT], NULL, 10) + 1000) / 1000 + 2;
long limit = (strtol(config[CFG_TIME_LIMIT], NULL, 10) + 1000) / 1000 + 1;
LOG_INFO("Killer started, time limit: %lds", limit);
sleep(limit); // two more seconds
sleep(limit); // 1 more seconds
LOG_WARN("Killer killed child");
kill(child, SIGKILL);
exit(0);