-
Federico Vaga authored
Before this patch, flushing was a special option available during opening or starting. Users may want to flush independently at any time. Signed-off-by: Federico Vaga <federico.vaga@cern.ch>
3fcbbe75
Before this patch, flushing was a special option available during
opening or starting. Users may want to flush independently at any time.
Signed-off-by: Federico Vaga <federico.vaga@cern.ch>