Maybe you can track down the issue and provide a patch for it?
I made some fixes a while ago to speed up stop of forwarded ports:
https://github.com/darinkes/ssh.net/commit/89fb5ceb81140bb7b0da7be76264fa8190e8cfe0#diff-4
Basically I close client sockets before stopping the Listener. But I'm nor sure wether it's correct or not. Worked for me ;)
No idea if it is the same problem.
I made some fixes a while ago to speed up stop of forwarded ports:
https://github.com/darinkes/ssh.net/commit/89fb5ceb81140bb7b0da7be76264fa8190e8cfe0#diff-4
Basically I close client sockets before stopping the Listener. But I'm nor sure wether it's correct or not. Worked for me ;)
No idea if it is the same problem.