xla
Flush stderr/stdout before exiting due to error.
#1199

Merged

Flush stderr/stdout before exiting due to error. #1199

dlibenzi merged 1 commit into master from spit-out-error

jysohn23 requested a review from

dlibenzi 6 years ago

dlibenzi requested changes on 2019-10-15

Flush stderr/stdout before exiting due to error.

03c4a2a4

jysohn23 force pushed from 0c085fc2 to 03c4a2a4 6 years ago

jysohn23 requested a review from

dlibenzi 6 years ago

dlibenzi approved these changes on 2019-10-15

dlibenzi merged 28581a65 into master 6 years ago

Reviewers

dlibenzi

Assignees

No one assigned

Labels

None yet

Milestone

No milestone