src/engine.cpp
changeset 9129 e4a00ee7237b
parent 9068 ae69d946347e
child 9259 088d3649dd4f
child 10323 57d8fd25473e
equal deleted inserted replaced
9128:8372a371a3e1 9129:e4a00ee7237b
   216 		}
   216 		}
   217 
   217 
   218 		if (best_player == PLAYER_SPECTATOR) return PLAYER_SPECTATOR;
   218 		if (best_player == PLAYER_SPECTATOR) return PLAYER_SPECTATOR;
   219 
   219 
   220 		SetBit(mask, best_player);
   220 		SetBit(mask, best_player);
   221 	} while (--p != 0);
   221 	} while (--pp != 0);
   222 
   222 
   223 	return best_player;
   223 	return best_player;
   224 }
   224 }
   225 
   225 
   226 void EnginesDailyLoop()
   226 void EnginesDailyLoop()