15 bots are back.

Setting update has been deployed:
https://github.com/triplea-game/infrastructure/commit/54f11b2da26c9b9a7a18079a0489fdc76dc2c756

The act of deploying an update would have booted the missing bots. They would have been crash/disconnected due to something within our control (system config, code issues, something we own).

I don't know if that setting will have an impact on the lobby bots. I do see that they are not full on restarting when a game is over, that seems more stable.

The restart of lobby bots was otherwise handled by systemctl rather than docker. Maybe a key difference, maybe not, I'm not sure.

I'll be interested if bots drop off again.

@Cernel

Yea I'm not certain either but like you, I thought we were supposed to have 15.

The reason I mention it again, besides potentially paying for a service we aren't receiving, there's usually only 1 available bot or sometimes none.

I'm glad the lobby still popular but I was hoping to play on it again since new maps are now supported.

Anyway, it seemed noteworthy to mention again

@beelee My understanding is that TripleA has 5 servers on which the bots are located. The servers are all working but currently have 2 bots each instead of the 3 each @lafayette had them having. I've no idea if that is because 3 bots per server are just too much (so it has to be 2 as it currently practically is) or there is a problem or some problems with the bots which @lafayette (or an other developer) may fix eventually (maybe with help from @eyeswideshut).

Not sure if we should make a problem report in GitHub about this or if we should notify anyone anywhere when we see that some bots are broken.

I'm consistently seeing only 10 triplea bots in the lobby. If triplea is paying for 15, then this is something that should be addressed sooner than later imo