- int reader_done:1; /* reader set this to true when he's done because
- the child is dead. The main thread use it to detect
- that the child is not dead before the end of timeout */
+ int reader_done:1; /* reader set this to true when he's done because
+ the child is dead. The main thread use it to detect
+ that the child is not dead before the end of timeout */
+
+ int interrupted:1; /* Whether we got stopped by an armageddon */
+ xbt_os_mutex_t interruption; /* To allow main thread to kill a runner
+ one only at certain points */
+
+ e_output_handling_t output;
+
+ int status;