Change Details

tcp: stop timers and clean scoreboard when in tcp_close() instead of doing that in tcp_discardcb(). A connection in CLOSED state shall not need any timers. As the SACK scoreboard is conceptually an extention of the socket buffer, remove it when the socket buffer goes away with soisdisconnected(). Assert that no timer is rescheduled after that with tcp_timer_activate() and verfiy that this is also the expected state in tcp_discardcb´().

tcp: stop timers when in tcp_close() instead of doing that in tcp_discardcb(). A connection in CLOSED state shall not need any timers. Assert that no timer is rescheduled after that in tcp_timer_activate() and verfiy that this is also the expected state in tcp_discardcb().

tcp: stop timers and clean scoreboard when in tcp_close()when in tcp_close() instead of doing that in instead of doing that in tcp_discardcb()tcp_discardcb(). A connection in CLOSED state shall not need any timers. A connection inAssert that no timer is rescheduled after that in tcp_timer_activate() CLOSED state shall not need any timers. As the SACK scoreboard is conceptually an extention of the socket buffer, remove it when the socket buffer goes away with soisdisconnected(). Assert that no timer is rescheduled after that with tcp_timer_activate() and verfiy that this is also the expected state in tcp_discardcb´().