From 7a38f7910426329bd2e641d84975d13bd670ea3e Mon Sep 17 00:00:00 2001
From: vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Date: Wed, 25 Aug 2010 16:53:07 +0000
Subject: [PATCH] Fix for wait time

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@3057 64cb5145-927a-446d-8aed-2fb7b4773692
---
 src/plugins/shell/src/tm_shell.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/plugins/shell/src/tm_shell.cpp b/src/plugins/shell/src/tm_shell.cpp
index bd32d418..1ac8fcda 100644
--- a/src/plugins/shell/src/tm_shell.cpp
+++ b/src/plugins/shell/src/tm_shell.cpp
@@ -86,7 +86,7 @@ shell_interrupt (int sig) {
 
 static void
 shell_output (bool hide= false) {
-  static struct timeval tv = {0, 100};
+  static struct timeval tv;
   int output_max= 1024;
   output = (charp) malloc (output_max);
   output_pos= 0;
@@ -95,6 +95,8 @@ shell_output (bool hide= false) {
     fd_set rfds;
     FD_ZERO (&rfds);
     FD_SET (master, &rfds);
+    tv.tv_sec = 0;
+    tv.tv_usec = 10000;
     int r = select (master+1, &rfds, NULL, NULL, &tv);
     if (r == 0) continue;
     if (r == -1) continue;
-- 
2.11.4.GIT