stdin: Increase buffer size.

This seems to make a big difference, the buffer size should definitely
be configurable.

diff --git a/stdin.c b/stdin.c
index d978ee9a23cc7fe6f47eab17e7f46ac78032ceaf..c8ee808fcb539611fb1e40cddc9c0c189fa95d50 100644 (file)
--- a/stdin.c
+++ b/stdin.c
@@ -101,7 +101,7 @@ static void stdin_post_select(struct sched *s, struct task *t)
                t->error = -E_STDIN_EOF;
 }
 
-#define STDIN_INPUT_BUFFER_SIZE 4000
+#define STDIN_INPUT_BUFFER_SIZE (1024 * 32)
 static void stdin_post_select_btr(struct sched *s, struct task *t)
 {
        struct stdin_task *sit = container_of(t, struct stdin_task, task);