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

[u/mdw/putty] / raw.c

diff --git a/raw.c b/raw.c
index 8c1f97f..8b1b1e9 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. */