SERVER

Server tick — integrated server (single-player) or dedicated. self = the platform's server handle, which answers its own liveness: one that has halted reports false, so a handle left over from a stopped server reads not-ready with nobody having to clear it. Pumped by MixinMinecraftServer at tickServer's RETURN.