This is called to flush the buffer of the streaming devices.
Definition at line 247 of file WindowLog.cc.