xla
28581a65 - Flush stderr/stdout before exiting due to error.

Commit

6 years ago

Flush stderr/stdout before exiting due to error. Was seeing spurious exits without errors.

References

Author

jysohn23

Committer

dlibenzi

Parents