seal5.logging

Loging utilities for Seal5.

Functions

check_logging_server()
get_formatter([minimal])	Returns a log formatter for one on two predefined formats.
get_logger([loggername, level])
initialize_logging_server([logfiles, ...])
resolve_log_level(value)
stop_logging_server()
update_log_level([console_level, file_level])	Set command line or file log level at runtime.
update_rotary_logger()

Classes

LogRecordSocketReceiver([host, port])
LogRecordStreamHandler(request, ...)
Logger([name])	Proxy that initializes its logger only when first used.