Launder seed generation through rand() to ensure seed diversity.

This doesn't affect reproducibility because a) the seed value written to logs is the output of this process, and b) the argument to the seed command *doesn't* get laundered.

diff --git a/main.c b/main.c
index 7a065b2fd91ca3dc4f955be85b93f893f99ca558..653b744b0040b8b8a330dc15ac197463f8eb53e5 100644 (file)
--- a/main.c
+++ b/main.c
@@ -110,7 +110,8 @@ int main(int argc, char *argv[]) {
        lcgstate.a = 1093;
        lcgstate.c = 221587;
        lcgstate.m = 1048576;
-       long seedval = (long)time(NULL);
+       srand(time(NULL));
+       long seedval = (long)rand();
        set_seed(seedval);
 
 /*  Read the database if we have not yet done so */