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

[PuTTY.git] / noise.c

diff --git a/noise.c b/noise.c
index 856974bc96d84f2f28364baaf54ef546438262bb..a094d25e4dcc03ca9b43341e9e594fef6b21f28f 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);
+    }
 }
 
 /*