diff options
Diffstat (limited to 'src/vnet')
| -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); } |