out !== STDOUT) { parent::flush(); } } }