tree 1410bd674e7ce8879f583298c526d48f5bfdbe8b
parent c860bd1ccbc2afc59748e5690708125b14df6209
author Davide Pesavento <davidepesa@gmail.com> 1664153302 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1664948651 -0400

encoding: don't call flush() in OBufferStream if already closed

Refs: #5240
Change-Id: I48e2694657971960079c5b07b35102d32c316bc1