These two confuse me - I don't see a `server_status` function defined below.