diff options
author | wm4 <wm4@nowhere> | 2015-01-07 19:45:44 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2015-01-07 19:45:44 +0100 |
commit | aa8823c2d22f9b703ba309ba23a32ed6b326fc1c (patch) | |
tree | 0b3adb27d948f189479eb95d1438232a6fb95a45 /video/out | |
parent | 21000774bf3fc68b65b0caad079aa908872940bb (diff) | |
download | mpv-aa8823c2d22f9b703ba309ba23a32ed6b326fc1c.tar.bz2 mpv-aa8823c2d22f9b703ba309ba23a32ed6b326fc1c.tar.xz |
terminal: always print to stderr with --no-input-terminal
The function terminal_in_background() reports whether the player was
backgrounded. In this case, we don't want to annoy the user by still
printing the status to stderr. If no terminal interaction is assumed,
this mechanism is disabled, and stderr is always used. The read_terminal
variable signals this case.
Oddly, just redirecting stderr will disable output to stderr, because
the background check with tcgetpgrp() is done on stderr, but
read_terminal is still true (because that one depends on stdin and
stdout).
Explicitly disable this mechanism if --no-input-terminal is used by
setting read_terminal to true only if terminal input is actually
initialized.
Diffstat (limited to 'video/out')
0 files changed, 0 insertions, 0 deletions