Format page for printing
On May 18, 2017, at 2:39 PM, Zimoch Dirk (PSI) <[email protected]> wrote:The guard is not strictly necessary. StreamDevice will not overrun the buffer.