equal
deleted
inserted
replaced
136 |
136 |
137 if (startup_failed) { |
137 if (startup_failed) { |
138 terminate_process() |
138 terminate_process() |
139 process_result.join |
139 process_result.join |
140 stdout.join |
140 stdout.join |
141 exit_message(Process_Result(127)) |
141 exit_message(Process_Result.startup_failure) |
142 } |
142 } |
143 else { |
143 else { |
144 val (command_stream, message_stream) = channel.rendezvous() |
144 val (command_stream, message_stream) = channel.rendezvous() |
145 |
145 |
146 command_input_init(command_stream) |
146 command_input_init(command_stream) |