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

diff --git a/box/box.c b/box/box.c
index 5bf43b32339a4b393ab444c53c9ac92be830e1f9..e3dadeaa70774f52ee6e49c7c69715891bfa2888 100644 (file)
--- 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;