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

[u/mdw/putty] / unix / pty.c

diff --git a/unix/pty.c b/unix/pty.c
index b621d8b..50b548c 100644 (file)
--- a/unix/pty.c
+++ b/unix/pty.c
@@ -474,6 +474,8 @@ int pty_select_result(int fd, int event)
 #endif
            from_backend(pty_frontend, 0, message, strlen(message));
        }
+
+       notify_remote_exit(pty_frontend);
     }
     return !finished;
 }