From: Martin Mares <mj@ucw.cz>
Date: Fri, 22 Aug 2008 18:25:01 +0000 (+0200)
Subject: The FIXME was wrong, start_time is available whenever box_pid is.
X-Git-Tag: python-dummy-working~143
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=4fe7051e4ee89e51c6f6922220ab4b17d0d489b2;p=eval.git

The FIXME was wrong, start_time is available whenever box_pid is.
---

diff --git a/box/box.c b/box/box.c
index 5bf43b3..e3dadea 100644
--- a/box/box.c
+++ b/box/box.c
@@ -94,7 +94,6 @@ final_stats(struct rusage *rus)
   timeradd(&rus->ru_utime, &rus->ru_stime, &total);
   total_ms = total.tv_sec*1000 + total.tv_usec/1000;
   gettimeofday(&now, NULL);
-  // FIXME: We are not guaranteed to have start_time always initialized
   timersub(&now, &start_time, &wall);
   wall_ms = wall.tv_sec*1000 + wall.tv_usec/1000;