tree ce9b52231c5a16e908408d749af1e50ab3b37707
parent 198594709baa82d55bba4e5ee442ffb5ffe886b4
author Hanno Becker <hanno.becker@arm.com> 1533545378 +0100
committer Hanno Becker <hanno.becker@arm.com> 1534516852 +0100

Increment record sequence number in ssl_write_record()

Previously, the record sequence number was incremented at the
end of each successful call to mbedtls_ssl_flush_output(),
which works as long as there is precisely one such call for
each outgoing record.

When packing multiple records into a single datagram, this
property is no longer true, and instead the increment of the
record sequence number must happen after the record has been
prepared, and not after it has been dispatched.

This commit moves the code for incrementing the record sequence
number from mbedtls_ssl_flush_output() to ssl_write_record().