diff options
| author |   Dave Barach <dave@barachs.net> | 2019-02-25 16:48:57 -0500 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2019-02-25 16:49:27 -0500 |
| commit | d7e7c2b8805b8ad92036e990babe8341bcea556e (patch) | |
| tree | 49f3b07b0fd72bb2687b72021bdef7f8732dfd47 /src/vnet/session | |
| parent | d7d6e97d3cd096a2b017f2316436d86a9fe7660b (diff) | |
Fix broken ASSERT
Fix "make TEST=test_vcl test-debug" ASSERT failures.
Change-Id: I58a67b12806660973c8def0e598ef0c5b296eec5
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vnet/session')
| -rw-r--r-- | src/vnet/session/session_types.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/vnet/session/session_types.h b/src/vnet/session/session_types.h index 97c915bbae2..a7e33a6c74b 100644 --- a/src/vnet/session/session_types.h +++ b/src/vnet/session/session_types.h @@ -368,7 +368,8 @@ local_session_parse_handle (session_handle_t handle, u32 * app_or_wrk_index, u32 * session_index) { u32 bottom; - ASSERT ((handle >> 32) == SESSION_LOCAL_HANDLE_PREFIX); + ASSERT (((handle >> 32) == SESSION_LOCAL_HANDLE_PREFIX) + || ((handle >> 32) == SESSION_LISTENER_PREFIX)); bottom = (handle & 0xFFFFFFFF); local_session_parse_id (bottom, app_or_wrk_index, session_index); } |