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: 4 inserted, 2 deleted
@@ -200,19 +200,19 | |||||
|
200 | p = wait4(box_pid, &stat, 0, &rus); |
|
200 | p = wait4(box_pid, &stat, 0, &rus); |
|
201 | while (p < 0 && errno == EINTR); |
|
201 | while (p < 0 && errno == EINTR); |
|
202 | if (p < 0) |
|
202 | if (p < 0) |
|
203 | fprintf(stderr, "UGH: Lost track of the process (%m)\n"); |
|
203 | fprintf(stderr, "UGH: Lost track of the process (%m)\n"); |
|
204 | else { |
|
204 | else { |
|
205 | final_stats(&rus); |
|
205 | final_stats(&rus); |
|
|
206 | + } | ||
|
|
207 | + } | ||
|
206 |
|
|
208 | print_running_stat( |
|
207 |
|
|
209 | (double)wall_ms/1000, |
|
208 |
|
|
210 | (double)total_ms/1000, |
|
209 |
|
|
211 | (double)sys_ms/1000, |
|
210 |
|
|
212 | (mem_peak_kb + 1023) / 1024); |
|
211 | - } |
|
||
|
212 | - } |
|
||
|
213 | meta_close(); |
|
213 | meta_close(); |
|
214 | exit(rc); |
|
214 | exit(rc); |
|
215 | } |
|
215 | } |
|
216 |
|
216 | ||
|
217 | static void |
|
217 | static void |
|
218 | flush_line(void) |
|
218 | flush_line(void) |
@@ -101,6 +101,8 | |||||
|
101 | result_file.write "\n" |
|
101 | result_file.write "\n" |
|
102 | result_file.close |
|
102 | result_file.close |
|
103 |
|
103 | ||
|
104 | comment_file = File.new("comment", "w") |
|
104 | comment_file = File.new("comment", "w") |
|
105 | comment_file.write "#{all_comment}\n" |
|
105 | comment_file.write "#{all_comment}\n" |
|
106 | comment_file.close |
|
106 | comment_file.close |
|
|
107 | + | ||
|
|
108 | + log "score = #{all_score} comment = #{all_comment}" |
You need to be logged in to leave comments.
Login now