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

[u/mdw/putty] / windows / wincons.c

diff --git a/windows/wincons.c b/windows/wincons.c
index 757f753..347f99f 100644 (file)
--- a/windows/wincons.c
+++ b/windows/wincons.c
@@ -33,6 +33,14 @@ void cleanup_exit(int code)
     exit(code);
 }
 
+void notify_remote_exit(void *frontend)
+{
+}
+
+void timer_change_notify(long next)
+{
+}
+
 void verify_ssh_host_key(void *frontend, char *host, int port, char *keytype,
                         char *keystr, char *fingerprint)
 {