| changeset 55 | c72dbd390cf2 |
| parent 53 | 667cd5966695 |
| child 57 | de776a4548da |
| 54:a456a2e5fca4 | 55:c72dbd390cf2 |
|---|---|
216 kernel_loop(); |
216 kernel_loop(); |
217 |
217 |
218 if (reconfig == true) |
218 if (reconfig == true) |
219 fprintf(stderr, "reconfiguring...\n"); |
219 fprintf(stderr, "reconfiguring...\n"); |
220 |
220 |
221 close_out_tcp(); |
|
222 |
|
221 term_childs(); |
223 term_childs(); |
222 |
224 |
223 close_out_udp(); |
225 close_out_udp(); |
224 close_out_file(); |
226 close_out_file(); |
225 |
227 |