On Thu, Dec 17, 2009 at 05:01:07PM +0300, Vladimir Prus wrote: > It flushes stdout. However, it seems to my more convenient -- especially > when debugging frontend, if command response comes as soon as possible. Yeah, I agree. -- Daniel Jacobowitz CodeSourcery