(self, exit_code)
| 196 | self.next_input_count_to_log = self.next_input_count_to_log + 1 |
| 197 | |
| 198 | def close_controller(self, exit_code): |
| 199 | sys.stderr.close() |
| 200 | self.stream_error.write("\n") |
| 201 | self.stream_error.close() |
| 202 | sys.stdout.close() |
| 203 | self.stream_output.write("\n") |
| 204 | self.stream_output.close() |
| 205 | sys.exit(exit_code) |
| 206 | |
| 207 | def deserialize_input(input_str): |
| 208 | if len(input_str) == 0: |