Fix freezing on Android when rotating

Fixes #1941
This commit is contained in:
Leith Bade
2015-09-22 16:23:39 +10:00
parent da691dcbb5
commit d2d3df2a69
5 changed files with 13 additions and 9 deletions

View File

@@ -39,6 +39,10 @@ void Map::pause() {
}
}
bool Map::isPaused() {
return paused;
}
void Map::resume() {
data->condResume.notify_all();
paused = false;