tree 493eb7f2298c32b6d1ec6632a8db30270879b4fd
parent d8bb8e36d5c549c2bc8b87525737899abd061daf
author Alessandro Ghedini <alessandro@ghedini.me> 1618419334 +0100
committer Alessandro Ghedini <alessandro@ghedini.me> 1618421373 +0100

h3: avoid marking a stream as finished multiple times

If an application keeps calling `recv_body()` on a stream that is
already finished, we end up adding it to the finished streams queue
multiple times.

The application shouldn't really do this, but do the sane thing if it
does happen.