server: no way to gracefully shut down connection

[reynir]

No description provided.

[hannesm]

This doesn't fit your demands? #52

[reynir]

No, it closes the connection somewhat abruptly (as noted in PR). I'd like to be able to send a message such as "Disconnecting you. Goodbye!" and have that arrive to the client before shutting down.

Edit: using the stop switch the message doesn't arrive to the client before the ssh server stops :/

[dinosaure]

You probably can do something into the Lwt_switch hook.