* server.c (make_process_resource): New function.
(server_die): Kill resources associated with the connection. (do_close): New callback function till kill the process if the channel is closed unexpectedly. server.c (do_exit_shell): Don't close the process's stdin, or the channel, until the client asks for it. * server.c (make_server_close_handler): Take connection as argument. Rev: src/server.c:1.32
Showing with 153 additions and 49 deletions