
server_statistics.pl -- Server statistics components
rdf_call_statistics_table//
- Display table with RDF-call statistics
http_session_table//
- HTML component that writes a table of currently logged on users.
session(-Session:s(Idle,User,SessionID,Peer)) is nondet[private]
- Enumerate all current HTTP sessions.
http_server_statistics//
- HTML component showing statistics on the HTTP server
http_server_pool_table//
- Display table with statistics on thread-pools.