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

[u/mdw/putty] / noise.c

diff --git a/noise.c b/noise.c
index 856974b..a094d25 100644 (file)
--- a/noise.c
+++ b/noise.c
@@ -53,8 +53,10 @@ void random_save_seed(void)
     int len;
     void *data;
 
-    random_get_savedata(&data, &len);
-    write_random_seed(data, len);
+    if (random_active) {
+       random_get_savedata(&data, &len);
+       write_random_seed(data, len);
+    }
 }
 
 /*