Add better docstring for server_up()