beremiz

Added flush when printing to standard output.

2009-12-16, tkragelj
68375ccdf968
Added flush when printing to standard output.