diff options
| author | Joshua Judson Rosen | 2017-03-30 23:26:21 -0400 |
|---|---|---|
| committer | Joshua Judson Rosen | 2017-04-01 23:24:23 -0400 |
| commit | 4b26f98f7db9f8424c5676bc0bce24c2d8868e3d (patch) | |
| tree | 59e4983060e325255e89d3d72025c3f2f0297086 /contrib | |
| parent | ui-cmdwin: prevent excessive buffering on captured stdio streams (diff) | |
| download | gnurobots-4b26f98f7db9f8424c5676bc0bce24c2d8868e3d.tar.gz | |
main: exit with error on failure to init arena
This handler got broken when exit_nicely stopped actually triggering
an exit from the entire process and started just exiting the guile thread.
And, actually, it never exited with an error-status before--
which it does now.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions