fix skip_replay part2

This was broken in da4cdef146bf5a1b8026f12d6b1caa6c1cd20602.
This commit is contained in:
gfgtdf 2014-04-03 21:11:29 +02:00
parent c181214cb6
commit c0ea446999

View File

@ -469,10 +469,13 @@ void playmp_controller::play_network_turn(){
*/
else if(!recorder.at_end())
{
bool was_skipping = recorder.is_skipping();
recorder.set_skip(skip_replay_);
if(do_replay(current_side()))
{
break;
}
recorder.set_skip(was_skipping);
}
}