[Xen-changelog] [xen-unstable] [IA64] Make xenitp more '|tee' friendly

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Alex Williamson <alex.williamson@xxxxxx>
# Date 1202924058 25200
# Node ID 390707dd4c2f8e465fc276fb08108b30c4e9759d
# Parent  9203ee23e724acc593357887b626f7a1b22a1b2f
[IA64] Make xenitp more '|tee' friendly

Flush stdout after printing the prompt.

Signed-off-by: Tristan Gingold <tgingold@xxxxxxx>
---
 tools/debugger/xenitp/xenitp.c |    1 +
 1 files changed, 1 insertion(+)

diff -r 9203ee23e724 -r 390707dd4c2f tools/debugger/xenitp/xenitp.c
--- a/tools/debugger/xenitp/xenitp.c    Thu Feb 07 11:08:49 2008 -0700
+++ b/tools/debugger/xenitp/xenitp.c    Wed Feb 13 10:34:18 2008 -0700
@@ -1577,6 +1577,7 @@ void xenitp (int vcpu)
         int len;
 
         printf ("XenITP> ");
+        fflush (stdout);
 
         if (fgets (buf, sizeof (buf), stdin) == NULL)
             break;

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog