flush stdout

diff --git a/virt-chroot/adt-virt-chroot b/virt-chroot/adt-virt-chroot
index b2ee1dce2e79efc4de383abca063edbfa92989ee..3347eddcdf815b72931b97b2d7e19244b7516a05 100755 (executable)
--- a/virt-chroot/adt-virt-chroot
+++ b/virt-chroot/adt-virt-chroot
@@ -241,6 +241,7 @@ def cmd_copydown(c, ce): copyupdown(c, ce, False)
 def cmd_copyup(c, ce): copyupdown(c, ce, True)
 
 def command():
+       sys.stdout.flush()
        ce = sys.stdin.readline()
        ce = ce.rstrip().split()
        c = map(urllib.unquote, ce)