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

[PuTTY.git] / raw.c

diff --git a/raw.c b/raw.c
index 8c1f97fd15e8a8f6b5a800716dbe1d23b26165b8..8b1b1e9b15e9e843e9854f775c95d358f6ab8ab1 100644 (file)
--- a/raw.c
+++ b/raw.c
@@ -37,6 +37,7 @@ static int raw_closing(Plug plug, const char *error_msg, int error_code,
     if (raw->s) {
         sk_close(raw->s);
         raw->s = NULL;
+       notify_remote_exit(raw->frontend);
     }
     if (error_msg) {
        /* A socket error has occurred. */