Logging
CONSOLE_LOGGER
console_logger(Boolean flag
) -> Boolean
STABLE
Print log messages on server console
CREATE_LOG_FILE
create_log_file(Charstring file
) -> Charstring
STABLE
Create file
in current log directory
DELETE_LOG_FILE
delete_log_file(Charstring file
) -> Charstring
STABLE
Delete file
in log directory
FILE_STREAM
file_stream(Charstring kind
, Charstring file
, Charstring option
) -> Stream
STABLE
Stream tuples from log file
in format kind
(json
or csv
).
option
can be 'read', 'tail', or 'loop'
file_stream(Charstring kind
, Charstring file
, Charstring option
, Number pace
) -> Stream
STABLE
Playback log file
in format kind
(json
or csv
)
at pace
in seconds.
option
can be 'read', 'tail', or 'loop'
file_stream(Charstring kind
, Charstring file
) -> Stream
STABLE
Stream tuples from log file
in format kind
(json
or csv
)
LOG_DIRECTORY
log_directory(Charstring dir
) -> Charstring
STABLE
Change current log directory to dir
log_directory( ) -> Charstring
STABLE
The current log directory where log files are located
LOG_FILENAME
log_filename(Charstring file
) -> Charstring
STABLE
The full path of file
in current log directory
STREAM_LOGGER
stream_logger(Stream s
, Charstring kind
, Charstring file
, Charstring option
) -> Stream
STABLE
Write records in stream s
into log file
in format kind
(json
or csv
).
option
can be:
new
if old log file
is overwritten, or
append
if old log file
is extended
WRITE_LOGFILE
write_logfile(Charstring kind
, Charstring file
, Stream s
) -> Charstring
STABLE
Write elements in stream s
into new log file
in format kind
(json
or csv
)