diff options
| -rw-r--r-- | src/main.c | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/main.c b/src/main.c index bba2975e46..e2d2ab5e64 100644 --- a/src/main.c +++ b/src/main.c @@ -138,15 +138,10 @@ _noreturn static void crash(int sig) { else if (pid == 0) { int fd, r; - if ((fd = acquire_terminal("/dev/console", false, true)) < 0) { + if ((fd = acquire_terminal("/dev/console", false, true)) < 0) log_error("Failed to acquire terminal: %s", strerror(-fd)); - _exit(1); - } - - if ((r = make_stdio(fd)) < 0) { + else if ((r = make_stdio(fd)) < 0) log_error("Failed to duplicate terminal fd: %s", strerror(-r)); - _exit(1); - } execl("/bin/sh", "/bin/sh", NULL); |