From 112db4aa1d933cb252b34c3368c9eb9b34d97bab Mon Sep 17 00:00:00 2001 From: blt Date: Sun, 20 Jul 2003 01:11:29 +0000 Subject: [PATCH] Remove unnecessary headers; Flush stdout properly --- server/drivers/text.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/server/drivers/text.c b/server/drivers/text.c index f70f64b..88ea6c2 100644 --- a/server/drivers/text.c +++ b/server/drivers/text.c @@ -13,11 +13,8 @@ #include #include #include -#include #include #include -#include -#include #include "lcd.h" #include "text.h" @@ -132,6 +129,7 @@ text_flush (Driver *drvthis) } out[width] = 0; printf ("+%s+\n", out); + fflush(stdin); } /////////////////////////////////////////////////////////////////