K 10 svn:author V 5 luigi K 8 svn:date V 27 2010-01-11T23:00:17.948780Z K 7 svn:log V 36 clean up a bit the pipe flush code. END