0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix #3515 : random start time

Browse source
This commit is contained in:
gfgtdf 2018-09-06 00:50:00 +02:00 • committed by Jyrki Vesterinen
parent b9396cd116
commit 8ed601461e
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/saved_game.cpp
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;
}