summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDave Barach <dave@barachs.net>2019-02-25 16:48:57 -0500
committerDave Barach <dave@barachs.net>2019-02-25 16:49:27 -0500
commitd7e7c2b8805b8ad92036e990babe8341bcea556e (patch)
tree49f3b07b0fd72bb2687b72021bdef7f8732dfd47
parentd7d6e97d3cd096a2b017f2316436d86a9fe7660b (diff)
Fix broken ASSERT
Fix "make TEST=test_vcl test-debug" ASSERT failures. Change-Id: I58a67b12806660973c8def0e598ef0c5b296eec5 Signed-off-by: Dave Barach <dave@barachs.net>
-rw-r--r--src/vnet/session/session_types.h3
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);
}