Description:
fix bux when pid=0
Commit status:
[Not Reviewed]
References:
Diff options:
Comments:
0 Commit comments
0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
r157:b4e13c98cfec - - 2 files changed: 7 inserted, 5 deleted
@@ -200,19 +200,19 | |||
|
200 | 200 | p = wait4(box_pid, &stat, 0, &rus); |
|
201 | 201 | while (p < 0 && errno == EINTR); |
|
202 | 202 | if (p < 0) |
|
203 | 203 | fprintf(stderr, "UGH: Lost track of the process (%m)\n"); |
|
204 | 204 | else { |
|
205 | 205 | final_stats(&rus); |
|
206 | - print_running_stat( | |
|
207 | - (double)wall_ms/1000, | |
|
208 | - (double)total_ms/1000, | |
|
209 | - (double)sys_ms/1000, | |
|
210 | - (mem_peak_kb + 1023) / 1024); | |
|
211 | 206 | } |
|
212 | 207 | } |
|
208 | + print_running_stat( | |
|
209 | + (double)wall_ms/1000, | |
|
210 | + (double)total_ms/1000, | |
|
211 | + (double)sys_ms/1000, | |
|
212 | + (mem_peak_kb + 1023) / 1024); | |
|
213 | 213 | meta_close(); |
|
214 | 214 | exit(rc); |
|
215 | 215 | } |
|
216 | 216 | |
|
217 | 217 | static void |
|
218 | 218 | flush_line(void) |
You need to be logged in to leave comments.
Login now