habitat_sim.logging.GlogFormatter class

Reference

Methods

def converter(...): localtime([seconds]) -> (tm_year,tm_mon,tm_mday,tm_hour,tm_min, tm_sec,tm_wday,tm_yday,tm_isdst)
def format(self, record: logging.LogRecord) -> str
def formatException(self, ei): Format and return the specified exception information as a string.
def formatMessage(self, record)
def formatStack(self, stack_info)
def formatTime(self, record, datefmt = None): Return the creation time of the specified LogRecord as formatted text.
def usesTime(self): Check if the format uses the creation time of the record.

Data

LEVEL_MAP = {50: 'F', 40: 'E', 30: 'W', 20: 'I', 10: 'D'}
default_msec_format = '%s,%03d'
default_time_format = '%Y-%m-%d %H:%M:%S'

Method documentation

def habitat_sim.logging.GlogFormatter.converter(...)

localtime([seconds]) -> (tm_year,tm_mon,tm_mday,tm_hour,tm_min, tm_sec,tm_wday,tm_yday,tm_isdst)

Convert seconds since the Epoch to a time tuple expressing local time. When ‘seconds’ is not passed in, convert the current time instead.

def habitat_sim.logging.GlogFormatter.formatException(self, ei)

Format and return the specified exception information as a string.

This default implementation just uses traceback.print_exception()

def habitat_sim.logging.GlogFormatter.formatTime(self, record, datefmt = None)

Return the creation time of the specified LogRecord as formatted text.

This method should be called from format() by a formatter which wants to make use of a formatted time. This method can be overridden in formatters to provide for any specific requirement, but the basic behaviour is as follows: if datefmt (a string) is specified, it is used with time.strftime() to format the creation time of the record. Otherwise, an ISO8601-like (or RFC 3339-like) format is used. The resulting string is returned. This function uses a user-configurable function to convert the creation time to a tuple. By default, time.localtime() is used; to change this for a particular formatter instance, set the ‘converter’ attribute to a function with the same signature as time.localtime() or time.gmtime(). To change it for all formatters, for example if you want all logging times to be shown in GMT, set the ‘converter’ attribute in the Formatter class.