summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoshua Judson Rosen2017-04-02 17:09:42 -0400
committerJoshua Judson Rosen2017-04-02 17:10:51 -0400
commitbfd1d2cf18f4857b5c0af1e83e6d9116a72b6824 (patch)
treea3d11c6dee070bbd56fac8c9caef0802213fcc82
parentmain: exit with error on failure to init arena (diff)
downloadgnurobots-master.tar.gz
main: skip trying to exit_nicely on failure to init mapHEADmaster
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.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main.c b/src/main.c
index df81cd7..f12b3e9 100644
--- a/src/main.c
+++ b/src/main.c
@@ -304,7 +304,6 @@ void main_prog(void *closure, gint argc, gchar *argv[])
if (map == NULL)
{
- exit_nicely();
exit (1);
}