fix #3515 : random start time

(cherry-picked from commit 8ed6014)
wesnoth · Oct 7, 2018 · 647cdea · 647cdea
1 parent 46efcf1
commit 647cdea
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/saved_game.cpp b/src/saved_game.cpp
@@ -134,7 +134,9 @@ void saved_game::set_random_seed()
 		return;
 	}
 
-	carryover_["random_seed"] = randomness::generator->get_random_int(0, INT_MAX);
+	std::stringstream stream;
+	stream << std::setfill('0') << std::setw(8) << std::hex << randomness::generator->get_random_int(0, INT_MAX);
+	carryover_["random_seed"] = stream.str();
 	carryover_["random_calls"] = 0;
 }