diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-03-16 08:42:22 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-03-16 08:42:22 -0400 |
commit | 825fd3cd41d4160ceef7ee35ce57723594d877ab (patch) | |
tree | 40195f99d3ef653e6692961b187d3a14ab1fc4fb /src/shared/pager.c | |
parent | d1d59eeb4720371d255fcee025e9e7d96bd625d1 (diff) | |
parent | 2797366cd23190595891b4b55f87951d3ee2ba4b (diff) |
Merge (¾ of) pull request #5596 from matijaskala/master
Diffstat (limited to 'src/shared/pager.c')
-rw-r--r-- | src/shared/pager.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/shared/pager.c b/src/shared/pager.c index f00ba9e1e7..c1480a718b 100644 --- a/src/shared/pager.c +++ b/src/shared/pager.c @@ -161,8 +161,8 @@ void pager_close(void) { return; /* Inform pager that we are done */ - stdout = safe_fclose(stdout); - stderr = safe_fclose(stderr); + safe_fclose(stdout); + safe_fclose(stderr); (void) kill(pager_pid, SIGCONT); (void) wait_for_terminate(pager_pid, NULL); |