Ensure our network layer is properly cleaned up before PuTTY exits.

[u/mdw/putty] / putty.h

diff --git a/putty.h b/putty.h
index b59703a..04804c2 100644 (file)
--- a/putty.h
+++ b/putty.h
@@ -427,6 +427,8 @@ void get_window_pos(int *x, int *y);
 void get_window_pixels(int *x, int *y);
 char *get_window_title(int icon);
 
+void cleanup_exit(int);
+
 /*
  * Exports from noise.c.
  */
@@ -536,6 +538,7 @@ void random_add_noise(void *noise, int length);
 void random_init(void);
 int random_byte(void);
 void random_get_savedata(void **data, int *len);
+extern int random_active;
 
 /*
  * Exports from misc.c.
@@ -591,4 +594,12 @@ const char *wc_error(int value);
 int wc_match(const char *wildcard, const char *target);
 int wc_unescape(char *output, const char *wildcard);
 
+/*
+ * Exports from console.c (that aren't equivalents to things in
+ * windlg.c).
+ */
+extern int console_batch_mode;
+extern char *console_password;
+int console_get_line(const char *prompt, char *str, int maxlen, int is_pw);
+
 #endif