diff options
-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); } |
index : gnurobots.git | ||
Fork of GNU Robots | Joshua Judson Rosen |
summaryrefslogtreecommitdiff |
-rw-r--r-- | src/main.c | 1 |
@@ -304,7 +304,6 @@ void main_prog(void *closure, gint argc, gchar *argv[]) if (map == NULL) { - exit_nicely(); exit (1); } |