diff options
author | Joshua Judson Rosen | 2017-04-02 17:09:42 -0400 |
---|---|---|
committer | Joshua Judson Rosen | 2017-04-02 17:10:51 -0400 |
commit | bfd1d2cf18f4857b5c0af1e83e6d9116a72b6824 (patch) | |
tree | a3d11c6dee070bbd56fac8c9caef0802213fcc82 /lib/xpm/statusbar.xpm | |
parent | main: exit with error on failure to init arena (diff) | |
download | gnurobots-master.tar.gz |
exit_nicely() exits from the guile thread before it gets a chance
to exit() from the process as a whole.
And there's really nothing for the reporting-code in exit_nicely
to actually report at this point, anyway.
Diffstat (limited to 'lib/xpm/statusbar.xpm')
0 files changed, 0 insertions, 0 deletions