From a9c91dcfacb560cb2b437c73740587a5157bc0cb Mon Sep 17 00:00:00 2001
From: Paul Pan <i@0x7f.app>
Date: Tue, 30 Jan 2024 11:37:59 +0800
Subject: [PATCH] fix: rounding

---
 launcher.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/launcher.c b/launcher.c
index 3e894ff..5c70330 100644
--- a/launcher.c
+++ b/launcher.c
@@ -124,7 +124,7 @@ 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 + 1;
+            long limit = (strtol(config[CFG_TIME_LIMIT], NULL, 10) + 999) / 1000 + 1;
             LOG_INFO("Killer started, time limit: %lds", limit);
             sleep(limit); // 1 more seconds
             LOG_WARN("Killer killed child");