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 | |
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.
-rw-r--r-- | src/main.c | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -304,7 +304,6 @@ void main_prog(void *closure, gint argc, gchar *argv[]) if (map == NULL) { - exit_nicely(); exit (1); } |