diff options
| author |   Florin Coras <fcoras@cisco.com> | 2019-11-14 23:32:08 -0800 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2019-11-16 18:39:36 +0000 |
| commit | 52be67435eb4615b899950b42b8ff72d258fbcb3 (patch) | |
| tree | f82be550d9c97433882f482b1bee9e247c9ef7d4 /extras/vagrant/.gitignore | |
| parent | 504d023d3bfdd91374a41fda34cd7be3f8340f7d (diff) | |
tcp: close session on retransmit failure
Type: fix
Since the connection is closed, also mark the session as closed.
Change-Id: Ica3849c3ff12fa7a65ba64e563a60d6c94f5ceca
Signed-off-by: Florin Coras <fcoras@cisco.com>
Diffstat (limited to 'extras/vagrant/.gitignore')
0 files changed, 0 insertions, 0 deletions