From: Martin Mares <mj@ucw.cz>
Date: Sun, 5 Apr 2009 16:51:40 +0000 (+0200)
Subject: Box: Record in the meta-file whether the process has been killed
X-Git-Tag: python-dummy-working~106
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=3d702b1d81216efd198f8816c13c24466107327a;p=moe.git

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 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;