The base stack is not stopping any runningtcp: stop timers and clean scoreboard when in tcp_close()
timer in tcp_close() but does that only later ininstead of doing that in tcp_discardcb(). A connection in
tcp_discardcb(). This can result in panics,CLOSED state shall not need any timers. ifAs the SACK scoreboard
close() is issued while TCP is trying to recoveris conceptually an extention of the socket buffer, remove
pait when the socket loss, trying to still retransmitbuffer goes away with soisdisconnected().
unacknowledged dataAssert that no timer is rescheduled after that with tcp_timer_activate()
and verfiy that this is also the expected state in tcp_discardcb´().