fix #3515 : random start time

(cherry-picked from commit 8ed601461eac824f96eb9e6c02cf07a7fcf16f48)
This commit is contained in:
gfgtdf 2018-09-06 00:50:00 +02:00 committed by Jyrki Vesterinen
parent 46efcf15fd
commit 647cdea397

View File

@ -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;
}