[ library(logger) | General Game Player | Alphabetic Index ]

set_log_prefix(++LogPrefix)

sets the prefix for newly opened log files
LogPrefix
a string

Description

The name of a logfile is composed of a directory (default is "logs") the log prefix (typically the id of the current match) and a LogID. set_log_prefix/1 sets the log prefix for all logs.

Fail Conditions

None. Always succeed.

Resatisfiable

no

See Also

log_printf / 3, logln / 2