Project

Profile

Help

HostedRedmine.com has moved to the Planio platform. All logins and passwords remained the same. All users will be able to login and use Redmine just as before. *Read more...*

Bug #658473 ยป TexaiDoubleWorldClose.patch

Marko Lindqvist, 2017-05-08 03:07 PM

View differences:

freeciv/ai/threxpr/texaiplayer.c 2017-05-08 18:05:10.913813675 +0300
}
fc_release_mutex(&exthrai.msgs_to.mutex);
texai_world_close();
log_debug("AI thread exiting");
}
    (1-1/1)