added functions to query the server state