summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMatija Skala <mskala@gmx.com>2017-04-24 18:30:50 +0200
committerSven Eden <yamakuzure@gmx.net>2017-07-25 09:46:52 +0200
commit30c7b995a1120d380011d6bdbe6d24fafdc2e1ee (patch)
tree95ba628eebb3888699108cebcc8510aa8f59e1d5 /src
parent21d58b174835912a6c578d4ea389f49223c2d804 (diff)
redirect stdout/stderr back when closing the pager (#5661)
Diffstat (limited to 'src')
-rw-r--r--src/shared/pager.c27
1 files changed, 25 insertions, 2 deletions
diff --git a/src/shared/pager.c b/src/shared/pager.c
index 9a097a165..f26a9c0cb 100644
--- a/src/shared/pager.c
+++ b/src/shared/pager.c
@@ -53,6 +53,11 @@ noreturn static void pager_fallback(void) {
_exit(EXIT_SUCCESS);
}
+static int stored_stdout = -1;
+static int stored_stderr = -1;
+static bool stdout_redirected = false;
+static bool stderr_redirected = false;
+
int pager_open(bool no_pager, bool jump_to_end) {
_cleanup_close_pair_ int fd[2] = { -1, -1 };
const char *pager;
@@ -147,10 +152,19 @@ int pager_open(bool no_pager, bool jump_to_end) {
}
/* Return in the parent */
- if (dup2(fd[1], STDOUT_FILENO) < 0)
+ stored_stdout = fcntl(STDOUT_FILENO, F_DUPFD_CLOEXEC, 3);
+ if (dup2(fd[1], STDOUT_FILENO) < 0) {
+ stored_stdout = safe_close(stored_stdout);
return log_error_errno(errno, "Failed to duplicate pager pipe: %m");
- if (dup2(fd[1], STDERR_FILENO) < 0)
+ }
+ stdout_redirected = true;
+
+ stored_stderr = fcntl(STDERR_FILENO, F_DUPFD_CLOEXEC, 3);
+ if (dup2(fd[1], STDERR_FILENO) < 0) {
+ stored_stderr = safe_close(stored_stderr);
return log_error_errno(errno, "Failed to duplicate pager pipe: %m");
+ }
+ stderr_redirected = true;
return 1;
}
@@ -161,6 +175,15 @@ void pager_close(void) {
return;
/* Inform pager that we are done */
+ (void) fflush(stdout);
+ if (stdout_redirected && (stored_stdout < 0 || dup2(stored_stdout, STDOUT_FILENO)) < 0)
+ (void) close(STDOUT_FILENO);
+ stored_stdout = safe_close(stored_stdout);
+ (void) fflush(stderr);
+ if (stderr_redirected && (stored_stderr < 0 || dup2(stored_stderr, STDERR_FILENO)) < 0)
+ (void) close(STDERR_FILENO);
+ stored_stderr = safe_close(stored_stderr);
+ stdout_redirected = stderr_redirected = false;
(void) kill(pager_pid, SIGCONT);
(void) wait_for_terminate(pager_pid, NULL);