Box: Record in the meta-file whether the process has been killed

If it was, the time/memory statictics are known to be incomplete.

diff --git a/box/box.c b/box/box.c
index c93ed0d41e71182cc4a132c93c55e89e10075495..323e07e77e9d270dc85d43f0092a346deba41ed1 100644 (file)
--- 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;