Implement "putty -cleanup"

[PuTTY.git] / noise.c

diff --git a/noise.c b/noise.c
index 31004ddf672df9014a58940577f76cc8adc8ecfb..383e6c33119e63b00e3a9b96f40960acafd36de5 100644 (file)
--- a/noise.c
+++ b/noise.c
@@ -107,6 +107,16 @@ void random_save_seed(void) {
     }
 }
 
+/*
+ * This function is called from `putty -cleanup'. It removes the
+ * random seed file.
+ */
+void random_destroy_seed(void) {
+    if (!seedpath[0])
+       get_seedpath();
+    remove(seedpath);
+}
+
 /*
  * This function is called every time the random pool needs
  * stirring, and will acquire the system time in all available