reset_session_channel spec issue
In sessions_core_2.mch
, the reset_session_channel
function lacks a $0
in right expression of a_channel_nb_sessions (a_channel$0 (p_session)) = a_channel_nb_sessions (a_channel$0 (p_session)) - 1)
=>
a_channel_nb_sessions (a_channel$0 (p_session)) = a_channel_nb_sessions$0 (a_channel$0 (p_session)) - 1)