Allow immediate output of spawned processes for all platforms.

[features.git] / src / support / os_unix.cpp

diff --git a/src/support/os_unix.cpp b/src/support/os_unix.cpp
index a9ae59850cb37ecd4cc735d754572f49000fe706..eb8c1dfa4e3440433002c6ad76538ddd7b4687cd 100644 (file)
--- a/src/support/os_unix.cpp
+++ b/src/support/os_unix.cpp
@@ -30,23 +30,8 @@ namespace lyx {
 namespace support {
 namespace os {
 
-namespace {
-
-string stdoutdev_ = "/dev/stdout";
-string stderrdev_ = "/dev/stderr";
-
-} // namespace anon
-
 void init(int, char *[])
-{
-       // Check whether /dev/stdout and /dev/stderr are available,
-       // otherwise default to /dev/tty.
-       if (access(stdoutdev_.c_str(), W_OK) != 0
-           || access(stderrdev_.c_str(), W_OK) != 0) {
-               stdoutdev_ = "/dev/tty";
-               stderrdev_ = "/dev/tty";
-       }
-}
+{}
 
 
 string current_root()
@@ -145,18 +130,6 @@ string const & nulldev()
 }
 
 
-string const & stdoutdev()
-{
-       return stdoutdev_;
-}
-
-
-string const & stderrdev()
-{
-       return stderrdev_;
-}
-
-
 bool is_terminal(io_channel channel)
 {
        return isatty(channel);