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

[PuTTY.git] / unix / uxcons.c

diff --git a/unix/uxcons.c b/unix/uxcons.c
index 00a6835fdb633401e10b5b3c5afdf43f59d476d9..a8effe9003a0c81a8b77b7cfa8091d0e6654789f 100644 (file)
--- a/unix/uxcons.c
+++ b/unix/uxcons.c
@@ -35,6 +35,14 @@ void update_specials_menu(void *frontend)
 {
 }
 
+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)
 {