New timing infrastructure. There's a new function schedule_timer()

[u/mdw/putty] / rlogin.c

diff --git a/rlogin.c b/rlogin.c
index f2b61d2..06c8b12 100644 (file)
--- a/rlogin.c
+++ b/rlogin.c
@@ -39,6 +39,7 @@ static int rlogin_closing(Plug plug, const char *error_msg, int error_code,
     if (rlogin->s) {
         sk_close(rlogin->s);
         rlogin->s = NULL;
+       notify_remote_exit(rlogin->frontend);
     }
     if (error_msg) {
        /* A socket error has occurred. */