fix: rounding
This commit is contained in:
parent
57669b670c
commit
a9c91dcfac
@ -124,7 +124,7 @@ int main(int argc, char *argv[]) {
|
|||||||
exit(ERR_FORK);
|
exit(ERR_FORK);
|
||||||
|
|
||||||
} else if (killer == 0) { // Killer
|
} else if (killer == 0) { // Killer
|
||||||
long limit = (strtol(config[CFG_TIME_LIMIT], NULL, 10) + 1000) / 1000 + 1;
|
long limit = (strtol(config[CFG_TIME_LIMIT], NULL, 10) + 999) / 1000 + 1;
|
||||||
LOG_INFO("Killer started, time limit: %lds", limit);
|
LOG_INFO("Killer started, time limit: %lds", limit);
|
||||||
sleep(limit); // 1 more seconds
|
sleep(limit); // 1 more seconds
|
||||||
LOG_WARN("Killer killed child");
|
LOG_WARN("Killer killed child");
|
||||||
|
Loading…
Reference in New Issue
Block a user