Making it clearer what ->server is. It's just a php resource.