diff options
| author |   Florin Coras <fcoras@cisco.com> | 2018-10-30 10:21:59 -0700 |
|---|---|---|
| committer |   Marco Varlese <marco.varlese@suse.de> | 2018-10-31 08:17:33 +0000 |
| commit | 5f56d736cbd752216357357b8de6a120a41c08eb (patch) | |
| tree | 783abee8a2c3e77513940734716775a88ac6bdeb /src/vnet/vxlan-gpe/vxlan_gpe_error.def | |
| parent | 5a7ca7bde104b12f8dc4a751fd911819d4bd6c8e (diff) | |
session: prioritize postponed sessions
If sessions cannot be handled during the current dispatch loop
iteration, ensure that they are first to be handled in the next.
Change-Id: Ifc6215900f8cfd530d4886b58641189f0ccf9bb7
Signed-off-by: Florin Coras <fcoras@cisco.com>
Diffstat (limited to 'src/vnet/vxlan-gpe/vxlan_gpe_error.def')
0 files changed, 0 insertions, 0 deletions