Planned Game Server outage

Stream: Lean for teaching

[Marcus Zibrowius]

We are planning to increase the resources allocated to the virtual machine hosting the Lean Game Server. Apparently, the server will need to be switched off briefly in order for this to happen. If you are currently running a course/seminar using the server, could you post here the course times so that we can schedule around them?

[Kevin Buzzard]

@Bhavik Mehta

[Bhavik Mehta]

Sorry for missing this - I don't expect students in my course to be using the game server much at this point.

[Marcus Zibrowius]

We’ll put a notice on the landing page at least a few days ahead of the upgrade. Negotiations for the upgrade are taking much longer than anticipated, so it still hasn’t happened yet.

[Marcus Zibrowius]

UPDATE: There will be a planned short outage on Friday, February 20, around 9:00 CET.

[Marcus Zibrowius]

After the upgrade, we will have 36 cores (up from 16) und 112 GB RAM (up from 48 GB) available. We estimate that this will support around 50 simultaneous games at high performance, and up to 180 simultaneous games at a slower pace.