
http_server_health.pl -- HTTP Server health statistics
This module defines an HTTP handler for /health. The handler returns
a JSON document with elementary health statistics on the running
instance. The location can be changed using http_handler/3. Keys may be
added using additional clauses for health/2 or hidden using hide/1.
This library defines an HTTP handler and defines two multifile predicates (health/2 and hide/1) to control the information presented.
server_health(+Request)
Processes an optional parameter fields to specify the fields that
should be returned. The fields content is "," or white space
delimited.
health(-Key, -Value) is nondet[multifile]true./proc/self/fd. Otherwise we use
stream_property/2 with the file_no(Fd) property./proc/loadavginuse, but including the TCMalloc overhead and
(thus) memory that has been freed and is not (yet) reused.
hide(?Key) is nondet[multifile]