From 3d702b1d81216efd198f8816c13c24466107327a Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 5 Apr 2009 18:51:40 +0200
Subject: [PATCH] Box: Record in the meta-file whether the process has been
 killed

If it was, the time/memory statictics are known to be incomplete.
---
 box/box.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/box/box.c b/box/box.c
index c93ed0d..323e07e 100644
--- a/box/box.c
+++ b/box/box.c
@@ -117,6 +117,7 @@ box_exit(int rc)
 	ptrace(PTRACE_KILL, box_pid);
       kill(-box_pid, SIGKILL);
       kill(box_pid, SIGKILL);
+      meta_printf("killed:1\n");
 
       struct rusage rus;
       int stat;
-- 
2.39.2