Added documentation for server state module