changed using improved pseudo-random number generator for UUID generation
[rocksndiamonds.git] / src / init.c
index 8c6c7e12e1d6d7010cb9fdfea0e03a15dba24c9c..114b177fb1578c19f30248069d85bf6a23acb350 100644 (file)
@@ -6197,6 +6197,7 @@ void OpenAll(void)
 
   InitRND(NEW_RANDOMIZE);
   InitSimpleRandom(NEW_RANDOMIZE);
+  InitBetterRandom(NEW_RANDOMIZE);
 
   print_timestamp_time("[init global stuff]");
 
@@ -6330,6 +6331,9 @@ void OpenAll(void)
 
   print_timestamp_done("OpenAll");
 
+  if (setup.ask_for_remaining_tapes)
+    setup.ask_for_uploading_tapes = TRUE;
+
   DrawMainMenu();
 
 #if 0